Les boucles sont des objets mathématiques qui sont étudiés depuis le début du siècle. Leur non associativité les rend cependant difficiles à comprendre et leur nombre empêche l'étude exhaustive.
Plusieurs chercheurs abordent les boucles en les classifiant en classe d'isotopie. Toutefois, ces classes n'ont pas un sens propre si on utilise les boucles pour la reconnaissance de langages. Il faut plutôt, dans ce cas, s'intéresser aux classes d'isomorphisme.
La génération des classes d'isomorphisme, même pour des ordres aussi petits que 8 est très difficile. Cette recherche présente des algorithmes permettant de travailler la génération des classes d'isomorphisme de boucles en temps raisonnable pour les ordres inférieurs à 8.
Ces algorithmes peuvent également être utilisés comme algorithme de recherche pour des ordres supérieurs.
Identifer | oai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:QCU.810 |
Date | January 2003 |
Creators | Guérin, Patrice |
Source Sets | Library and Archives Canada ETDs Repository / Centre d'archives des thèses électroniques de Bibliothèque et Archives Canada |
Detected Language | French |
Type | Thèse ou mémoire de l'UQAC, NonPeerReviewed |
Format | application/pdf |
Relation | http://constellation.uqac.ca/810/ |
Page generated in 0.0016 seconds