Automata Theory, Languages of Machines and Computability