Text this: Automata and computability :