CS203: Formal Languages and Automata Theory
Dept. of Computer Science and Engineering
IIT Guwahati, Jan - Apr, 2013.
Instructor
Prof. Diganta Goswami
Email: dgoswami@iitg.ernet.in
Teaching Assistants
-
Rajendra Kakarala (email: r.kakarala@iitg.ernet.in)
-
Ankur Meena (email: ankur.meena@iitg.ernet.in)
-
Summit Verma (email: summit@iitg.ernet.in)
Class Timings
Classroom: 1201
Mon 09:00 - 10:00 am
Tue 10:00 - 11:00 am
Wed 11:00 - 12:00 pm
Textbook
J E Hpcroft, R Motwani, J D Ullman: Introduction to Automata Theory, Languages and Computation, Pearson Education, 3E.
References
J E Hpcroft, J D Ullman: Introduction to Automata Theory, Languages and Computation, Narosa Publications, 1989.
Thomas A Sudkamp: Introduction to the Theory of Computer Science: Languages and Machines, Pearson Education, 3E.
H R Lewis, C H Papadimitriou: Elements of the Teory of Computation, Pearson Education, 2E.
Dexter C Kozen: Automata and Computability, Springer, 2002.
Peter Linz: An Introduction to Formal Languages and Automata, Narosa Publications, 3E.
John C Martin: Introduction to Languages and the Theory of Computation, TMH, 3E.
Michael Sipser: Introduction to the Theory of Computation, Thomson, 2001.
Grading (Tentative)
Quiz 1: 10%
Mid Sem: 30%
Quiz 2: 10%
End Sem: 50%
Resources
Turing Machine Notes (Ch 4: Lewis, Papadimitriou)
Lecture Notes