96ef95b64f508d2c.tex
1: \begin{abstract}
2: In this note we prove that, for a finite semigroup $S$, the dual
3: Cayley automaton semigroup $\mathbf{C^{\ast}}(S)$ is finite if and
4: only if $S$ is $\mathcal{H}$-trivial and has no non-trivial right
5: zero subsemigroups.
6: \end{abstract}
7: