W L Date Topic Reading Note
112012-08-20Course agenda, policies, sets, languages, proofs
22012-08-22Finite automata, inductionChapter 1
232012-08-27
42012-08-29Examples of DFAsSections 2.1 and 2.2
32012-09-03Labor Day (no lecture)
52012-09-05DFAs and NFAsChapter 2
462012-09-10
72012-09-12
582012-09-17Regular expressionsChapter 3
92012-09-19
6102012-09-24Properties of regular setsChapter 4
112012-09-26
7122012-10-01
132012-10-03
82012-10-08Midterm 1 (in regular lecture room, open book and notes)
142012-10-10Decisions problems regarding regular setsChapter 4
9152012-10-15Context Free LanguagesChapter 5
162012-10-17
10172012-10-22
182012-10-24
11192012-10-29Properties of CFLsChapter 7
202012-10-31
12212012-11-05
222012-11-07Introduction to Turing MachinesChapter 8
13232012-11-12
2012-11-14Midterm 2 (in regular lecture room, open book and notes)
142012-11-19Thanksgiving break
2012-11-21Thanksgiving break
15242012-11-26UndecidabilityChapter 9
252012-11-28
16262012-12-03
272012-12-05NP-completeness, recap
172012-12-12Final exam (in regular lecture room, open book and notes)

Unless noted otherwise, chapter and section numbers refer to the chapters and sections from the textbook.