PCCCS-502: Formal Languates and Automata Theory

Theory of Computation (ToC)

Instructors: Pulak Baral (PBL), Rabi Narayan Behera (RNB) and Soumadip Biswas (SDB)
Venue: LG 4.7 (IT), LG 2.4 (IoTCSBT), 5th Floor Gymkhana Room (IoT)
Time: 3 classes per week, check routine on dept. website

[Textbook] Introduction to Formal Languages and Automata by Peter Linz
[Textbook] Introduction to Automata Theory, Languages, and Computation by John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman
[Textbook] Introduction to the Theory of Computation by Michael Sipser
[Reference] Automata and Computability, Dexter C. Kozen. Part of the Undergraduate Texts in Computer Science book series (UTCS) Springer.
[Reference] Elements of the Theory of Computation, 2nd edition. Harry Lewis, Christos Papadimitriou, Prentice
[Reference] Dr. R.B.Patel, Theory of Computation, Khanna Publishing House

Faculty	Topic	Details	Resources
SDB	Prerequisites	Mathematical preliminaries	link