Machines de Mealy, (semi-)groupes d'automate, problèmes de décision et génération aléatoire

ANR JCJC 12 JS02 012 01

mealym@liafa.univ-paris-diderot.fr
Le projet MealyM a été retenu par l'Agence Nationale pour la Recherche dans le cadre du programme Jeunes Chercheuses et Jeunes Chercheurs.
Il débutera officiellement le 1er février 2013 pour une durée de quatre ans.

Le projet MealyM est centré sur les (semi)-groupes d'automates, c'est-à-dire des (semi-)groupes engendrés par des machines de Mealy. Cette possible présentation pour des (semi-)groupes a été jusqu'à présent principalement étudiée par des mathématiciens via la théorie géométrique des groupes. Elle n'a pas encore été exploitée par la communauté informatique bien qu'elle permette d'obtenir des (semi-)groupes très sophistiqués à partir d'objets très simples et largement utilisés et étudiés en informatique. La progression se fera selon deux axes étroitement liés. Les résultats obtenus dans chacune des directions seront incorporés à Sage, soit directement soit à travers GAP.

Nous comptons promouvoir une collaboration intensive entre les membres du projet en: