**References**

The main textbook for the course will be:

[Kozen] Automata and Computability - Dexter C. Kozen - Springer Publishers.

Reference textbooks:

(these we will be using sometimes, but only rarely)

- [HMU] - Introduction to Automata Theory, Languages and Computation - Hopcroft, Motwani, and Ullman - Pearson Publishers.

- [Sipser] - Introduction to Theory of Computation - Michael Sipser
- [LP] H. R. Lewis and C.H. papadinitriou - Elements of the theory of computation, - Prentice Hall Publishers, 1981.