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.