Every numerical semigroup arises as an automaton monoid

This paper shows how to construct explicitly an automaton that generates an arbitrary numerical semigroup.