Title: Automata Theory, Languages of Machines and Computability