| Notre recherche se situe dans le cadre de la theorie algebrique des langages. Il est bien connu que les semigroupes finis peuvent etre vus comme des automates finis. Ainsi, ils permettent de reconnaitre exactement les langages reguliers. D'une facon similaire, les groupoides finis sont associes aux automates a pile et aux langages hors-contextes.; Il a ete demontre qu'un type particulier de groupoides, les boucles finies, ne reconnaissent que des langages reguliers. Mais les groupoides et les boucles sont des structures algebriques non associatives, ce qui rend leur etude tres complexe. Cependant, il a ete demontre que l'on peut associer a chaque boucle finie un unique monoide fini nomme le monoide derive de la boucle. Ce monoide preserve plusieurs proprietes de la boucle. En particulier, il reconnait l'ensemble des langages reconnus par la boucle concernee, ce qui permet d'utiliser la richesse et l'elegance de la theorie des semigroupes dans l'etude des boucles finies.; Dans ce travail, nous demontrerons que le monoide derive d'une boucle finie est calculable. Par la suite, nous presenterons differentes versions d'un algorithme ayant pour objectif de construire le monoide derive d'une boucle finie. Finalement, nous ex poserons et analyserons brievement quelques resultats calcules sur les boucles d'ordre 8 et moins a l'aide de ces differentes versions de l'algorithme. |
