Text this: Semigroups and automata :