Approximate schedule, subject to change. You are responsible for keeping yourself informed of the schedule and any changes that may occur over time. The assigned readings should, ideally, be read before the corresponding class. You are responsible for keeping up with the reading and for all material covered in class. I will emphasize different points and some of them will not be in our text book. It is your responsibility to make arrangements with classmates, for them to provide you with all of the information disseminated in class, if you happen to miss a class.

1/27 Review of mathematical concepts and proof techniques Ch. 0
2/8 Finite automata Ch. 1.1, 1.2tbd
2/15 Regular Expressions Ch. 1.3 tbd
2/22 Pumping Lemma, Non-regular languages Ch. 1.4tbd
2/29 Exam I Review
3/7 Context-free grammars Ch. 2.1 tbd
3/14 Spring Break
3/21 Pushdown Automata Ch. 2.2tbd
3/28 Non-context-free languages Ch. 2.3tbd
4/4 CFL closure properties
4/11Exam II Review
4/18 Turing machines Ch. 3.1, 3.2, 3.3tbd
4/25 Decidability Ch. 4.1, 4.2 tbd
5/2 Reductions Ch. 5.1, 5.2tbd
5/9 Exam III Review
5/18 Final Exam