Ali Akhavi (GREYC)

Les semi-groupes réalisés par des transducteurs lettre à lettre sont des objets connus. Beaucoup plus récemment les groupes d’automates ont eu un grand intérêt car ils ont apportés des exemples ou contre-exemples de groupes à des conjectures difficiles.

Un problème classique mais difficile en théorie des groupes est celui de la finitude d’un groupe: Il n’existe aucun algorithme permettant de répondre dans un cas général (par exemple le groupe étant donné par un ensemble de générateurs et des relateurs).

Dans cet exposé nous rappelons ce que sont les groupes d’automates, puis les groupes d’automates à groupes (GAG). Nous présenterons ensuite une caractérisation des GAGs finis.