Theory of Computation and Automata - Shai Simonson