Text this: Elementary Computability, Formal Languages, and Automata