AUTOMATA THEORY, LANGUAGES OF MACHINES AND COMPUTABILITY