Groupe automatique

Un groupe automatique est un groupe décrit à l'aide d'automates finis. L'intérêt des groupes automatiques est que le problème du mot est décidable. C'est un cas particulier d'une structure automatique. Soit G un groupe qui admet un ensemble fini A d'éléments g…