Formal Language And Automata Theory (CS21204)

Spring 2025

Instructors and Venue

(section-1, odd Roll Nos) Prof. Animesh Mukherjee, NC142
(section-2, even Roll Nos + backlogs) Prof. Soumyajit Dey, NC244

Teaching Assistants

Sunandan Adhikary, Suman Maiti, Arkaprava Sain, Siddharth Jaiswal, Karnam Sai Keerthana

Class Timing

MON(12:00-12:55) , TUE(10:00-10:55) , TUE(11:00-11:55) , THURS(08:00-08:55)

Announcements

Lect1: 6th Jan 2024

Problem solving by instructors: here, here

Marking Scheme

Endsem 50%, Midsem 30%, Class Tests 20%

What Dexter Kozen says about writing proofs as part of course work

References

1. Automata and Computability by Dexter C. Kozen (Primary Text)
2. Introduction to Automata Theory, Languages, and Computation by John E. Hopcroft and Jeffrey D. Ullman (old book)
3. An Introduction to Formal Languages and Automata by Peter Linz
4. Elements of the Theory of Computation by Harry R. Lewis and Christos H. Papadimitriou
5. Introduction to Languages and The Theory of Computation by John Martin
6. Introduction to the Theory of Computation by Michael Sipser

If you are absent for two consecutive classes, turn up with documented reasons in the next class. Attendance below institute guidelines shall lead to deregistration - Yes, we are following this strictly