F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation/F.1.1.0: Automata (e.g., finite, push-down, resource-bounded) F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages/F.4.3.0: Algebraic language theory
On prouve, pour plusieurs classes importantes d'automates de Mealy, que presque tous les groupes engendrés ont un élément d'ordre infini. Cela peut également impliquer d'autres propriétés comme la croissance exponentielle.