Formal Language And Automata Theory (CS21204)

Spring 2024

Instructors and Venue

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

Teaching Assistants

Sunandan Adhikary, Suman Maity, Arkaprava Sain, Siddharth Jaiswal, Naquee Rizwan

Class Timing

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

Announcements

Lect1: 2nd 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