15-453 Formal Languages, Automata, and Computation
Handouts

Date	Handout	Note

Jan 21	Assignment 1	Model Solution
Jan 24	Applications of Finite State Machines	Lecture 3
Jan 26	Binary Decision Diagrams and Model Checking	Lecture 4
Jan 28	Assignment 2	Model Solution
Jan 31	Deterministic and Non-Deterministic Finite Automata	Lecture 5
Feb 4	Assignment 3	Model Solution
Feb 7	Regular Grammars	Lecture 9
Feb 11	Assignment 4	Model Solution
Feb 14	Practice Midterm I	Model Solution
Feb 18	Midterm I	Model Solution
Feb 25	Assignment 5	Model Solution
Mar 3	Assignment 6	Model Solution
Mar 10	Assignment 7	Model Solution
Mar 20	Practice Midterm II	Model Solution
Mar 24	Midterm II	Model Solution
Apr 5	Assignment 8	Model Solution
Apr 7	Problem Session 1
Apr 12	Assignment 9	Model Solution
Apr 14	Problem Session 2
Apr 21	Assignment 10	Model Solution
Apr 21	The Importance of SAT	Lecture 34 (Addendum)
Apr 23	Problem Session 3 with Solutions