1: \begin{abstract}

2: This paper addresses a decision problem highlighted by~Grigorchuk,

3: Nekrashevich, and~Sushchanski{\u\i}, namely the finiteness problem for

4: automaton (semi)groups. 

5: For semigroups, we give an effective sufficient but not necessary condition for

6: finiteness and, for groups, an effective necessary but not sufficient

7: condition. The efficiency of the new criteria is demonstrated

8: by testing all Mealy automata with small stateset and alphabet.

9: Finally, for groups, we provide a necessary and sufficient

10: condition that does not directly lead to a decision procedure.  

11: \end{abstract}

12: