Automata, languages, and machines. A