Last modified: Tue Mar 22 11:55:17 EST 2005
| Topic | Reading | Assignments |
| Fri Jan 7: Introduction | Sipser 0.1 | |
| Mon Jan 10: Mathematical Priminaries | Sipser 0.2 | |
| Wed Jan 12: Proofs | Sipser 0.3 - 0.4 | |
| Fri Jan 14: Proofs | ||
| Mon Jan 17: No Class | ||
| Wed Jan 19: Introduction to Finite Automata | N/A | |
| Fri Jan 21: Class in SCI 228 | N/A | Homework 1 due |
| Mon Jan 24: Finite Automata | Sipser 1.1 - 1.2 | |
| Wed Jan 26: LaTeX | Lecture notes GWSLatex primer Athena Minicourse (MIT) Not So Short Intro. to LaTeX |
|
| Fri Jan 28: LaTeX | ||
| Mon Jan 31: DFA/NFAs, Regular Expressions | Sipser 1.3 | |
| Wed Feb 2: Regexps | Sipser 1.3 | |
| Fri Feb 4: Regexps cont. | Homework 2 due [LaTeX] [PDF] | |
| Mon Feb 7: Regexps to F.A.s | ||
| Wed Feb 9: *** EXAM 1 *** | ||
| Fri Feb 11: Recap | ||
| Mon Feb 14: GNFAs, F.A.s to Regexps | ||
| Wed Feb 16: Non-regular languages, Pumping Lemma | Sipser 1.4 | |
| Fri Feb 18: CFGs | Sipser 2.1 | |
| Mon Feb 21: CFGs cont. | Homework 3 due [LaTeX] [PDF] | |
| Wed Feb 23: PDAs | Sipser 2.2 | |
| Fri Feb 25: PDA - CFG equivalence | ||
| Mar 2 - Mar 9 Turing Machines | Sipser Ch. 3 | |
| Fri Mar 11: ***Exam 2*** | ||
| Mar 21, 23: Decidability | Sipser Ch. 4 | |
| Mar 25, 28, 30: Reducibility | Sipser Ch. 5 |