Automata, Languages, and Machines door