Elementary Computability, Formal Languages, and Automata