References
The main text book for the course will be :
[Kozen's Book] - Automata and Computability - Dexter C. Kozen - Springer Publishers. (Availability : There are five copies available at the Department library, and at least one available at the Institute Library.)
Reference textbooks, as per the syllabus info: (these we will be using sometimes, but only rarely)
- [HMU Book] - Introduction to Automata Theory, Languages and Computation - Hopcroft, Motwani, and Ullman - Pearson Publishers. (Availability : It is available at the Department library, Institute Library.)
- John. C. Martin - Introduction to languages and the theory of computation - Tata McGrawHill, 2003.
- H. R. Lewis and C.H. papadinitriou - Elements of the theory of computation, - Prentice Hall Publishers, 1981.
- Kamala Kritivasan and R.Rama. - Introduction to Formal Languages, Automata Theory and Computation - Pearson Publishers