8d81baf948bb0ed8.tex
1: \begin{abstract}
2: We prove that a semigroup generated by a reversible two-state Mealy
3: automaton is either finite or free of rank~2. This fact leads to the
4: decidability of finiteness for groups generated by two-state or
5: two-letter invertible-reversible Mealy automata and to the
6: decidability of freeness for semigroups generated by two-state
7: invertible-reversible Mealy automata.
8: \end{abstract}
9: