LECTURE NOTES FOR CPT S 317*

Note: Slides will get constantly updated during the course of the semester. So always download the latest version before use.

Course overview (PDF)

Introduction to Automata Theory & Formal Languages (PDF)

Finite Automata (PDF)

Regular Expressions (PDF)

Regular Language Properties (PDF)

Midterm I review (PDF)

Context Free Grammars and Languages (PDF)

Pushdown Automata (PDF)

Context-Free Language Properties (PDF)

Midterm II review (PDF)

Turing Machines (PDF)

Undecidability (PDF)

Course & Finals Review ( PDF)

* PDF links will be enabled as & when lecture slides are ready.