‘Automaton semigroups: new constructions results and examples of non-automaton semigroups’
[with T. Brough]
Theoretical Computer Science, 674 (2017), pp. 1–15.
DOI: 10.1016/j.tcs.2017.02.003. MR: 3634703. ZBL: 06715025.


This paper studies the class of automaton semigroups from two perspectives: closure under constructions, and examples of semigroups that are not automaton semigroups. We prove that (semigroup) free products of finite semigroups always arise as automaton semigroups, and that the class of automaton monoids is closed under forming wreath products with finite monoids. We also consider closure under certain kinds of Rees matrix constructions, strong semilattices, and small extensions. Finally, we prove that no subsemigroup of $(\mathbb{N},+)$ arises as an automaton semigroup. (Previously, $(\mathbb{N},+)$ itself was the unique example of a finitely generated residually finite semigroup that was known not to arise as an automaton semigroup.)