Text this: Elementary computability, formal languages and automata/