1: \begin{abstract}

2: Antonenko and~Russyev independently have shown that any Mealy automaton with no cycles with exit---that is,

3: where every cycle in the underlying directed graph is a sink component---generates

4: a finite (semi)group, regardless of the choice of the production functions.

5: Antonenko has proved that this constitutes a characterization in the

6: non-invertible case and asked for the invertible case, which is proved

7: in this paper.

8: \end{abstract}

9: