Automata Theory, Languages of Machines and Computability (IK Publishing, 2018)