| January 8 | Course overview | --- | ||
| January 10 | Math review | Section 1.1 | ||
| January 15 | Math review | |||
| January 17
. |
Math review
Basic concepts |
Section 1.2 |
||
| January 22
. |
Basic concepts
DFAs |
Section 2.1 |
||
| January 24
. . |
DFAs
NFAs DFAs = NFAs |
Section 2.2 Section 2.3 |
||
| January 29
. |
DFAs = NFAs
Regular expressions |
Section 3.1 |
||
| January 31
. |
Regular expressions
Expressions = NFAs |
Section 3.2 |
||
| February 5 | Expressions = NFAs | |||
| February 7 | EXAM #1 | --- | ||
| February 12 | Regular grammars | Section 3.3 | ||
| February 14 | Regular grammars | |||
| February 19
. . |
Regular grammars
Closure properties Elementary questions |
Section 4.1 Section 4.2 |
||
| February 21
. |
Elementary questions
Pumping lemma |
Section 4.3 |
||
| February 26
. |
Pumping lemma
Context-free grammars |
Section 5.1 |
||
| February 28
. |
Context-free grammars
Parsing |
Sections 5.2 and 5.3 |
||
| March 5 | Parsing | |||
| March 7
. |
Parsing
Simplification |
Section 6.1 |
||
| March 19 | Simplification | |||
| March 21 | EXAM #2 | --- | ||
| March 26
. |
Simplification
Normal forms |
Section 6.2 |
||
| March 28
. |
Normal forms
Pushdown automata |
Sections 7.1 and 7.3 |
||
| April 2 | Pushdown automata | |||
| April 4 | Pushdown automata | |||
| April 9
. |
Pushdown automata
Turing machines |
Sections 9.1 and 9.3 |
||
| April 11 | Turing machines | |||
| April 16 | Turing machines | |||
| April 18 | Universal machine | Section 10.4 | ||
| April 23
. |
Universal machine
Halting problem |
Section 12.1 |
||
| April 25 | FINAL EXAM | --- |