Text this: Semigroups, algorithms, automata, and languages :