The test dates are permanent, the rest is an outline of what we will do, and is subject to change.
| Monday | Tuesday | Wednesday | Thursday | Friday |
|---|---|---|---|---|
| 1/7 | 1/8 | 1/9 First Day of Class Lecture 1 Review, Sets, Languages, Grammars Lecture (slides) (handout) Lecture (annotated) JFLAP file: anccbn.jff No RQ due Homework 1 out | 1/10 | 1/11 |
| Monday | Tuesday | Wednesday | Thursday | Friday |
|---|---|---|---|---|
| 1/14 Lecture 2 Finite Automata Lecture (slides) (handout) Lecture (annotated) JFLAP files Read Linz Chapter 1 RQ 1 due RQ are on Sakai | 1/15 | 1/16 Lecture 3 NFA, NFA vs DFA, Properties Lecture (annotated) Example proof R1awb JFLAP files Classwork1 Read Linz Chapter 2.1-2.2 Read JFLAP Chapter 1 RQ 2 due Homework 1 due Homework 2 out | 1/17 | 1/18 |
| 1/21 MLK day No Class | 1/22 | 1/23 Lecture 4 Properties, DFA to Min DFA Lecture (annotated) JFLAP files Regular Languages Lecture (slides) (handout) Lecture (annotated) Read Linz Chapter 2.3-2.4 RQ 3 due Read JFLAP Chap 2 | 1/24 | 1/25 |
| 1/28 Lecture 5 Regular Expressions Regular Grammars Lecture (annotated) JFLAP files Read Linz Chapter 3 RQ 4 due Homework 2 due Homework 3 out Project 1 out | 1/29 | 1/30 Lecture 6 Properties Regular Languages Lecture (slides) (handout) Lecture (annotated) Read Linz Chapter 4.1-4.2 RQ 5 due | 1/31 | 2/1 |
| Monday | Tuesday | Wednesday | Thursday | Friday |
|---|---|---|---|---|
| 2/4 Lecture 7 Regular Pumping Lemma Lecture (annotated) Read Linz Chapter 4.3 RQ 6 due Homework 3 due | 2/5 | 2/6 Lecture 8 Pushdown Automata Lecture (slides) (handout) Lecture Reg Prop (annotated) Lecture NPDA (annotated) JFLAP files Classwork2 Read Linz Chap. 7.1(all), 7.3(first 2 pages) RQ 7 due | 2/7 | 2/8 |
| 2/11 Lecture 9 Context-Free Grammar Brute-Force Parsing Lecture (slides) (handout) Lecture (annotated) JFLAP files Read Linz Chap. 5.1-5.2 RQ 8 due Project 1 due Homework 4 out | 2/12 | 2/13 Lecture 10 Equivalence NPDA/CFG Lecture (slides) (handout) Lecture (annotated) JFLAP files Read Linz Chap 5.3, 7.2-7.3 RQ9 Due | 2/14 | 2/15 |
| 2/18 Lecture 11 Lecture (annotated) review Homework 4 due Review No RQ | 2/19 | 2/20 Exam I | 2/21 | 2/22 |
| Monday | Tuesday | Wednesday | Thursday | Friday |
|---|---|---|---|---|
| 2/25 Lecture 12 General Parsing, LL Parsing Lecture (slides) (handout) Lecture2 (slides) (handout) Lecture (annotated) Lecture2 (annotated) JFLAP files Read JFLAP Chap 8.1-8.2 RQ 10 due | 2/26 | 2/27 Lecture 13 Read JFLAP Book Chap 8.1-8.3 LL Parsing LL Parsing Lecture Video Lecture (annotated) JFLAP files NO RQ Due Homework 5 out | 2/28 | 3/1 |
| 3/4 Lecture 14 LR Parsing Lecture (slides) (handout) Lecture (annotated) Read JFLAP Book Chap 8.1-8.3 LR Parse RQ 11 due Homework 6 out Project 2 out | 3/5 | 3/6 Lecture 15 Transform Grammars Lecture (slides) (handout) Lecture (annotated) Read Linz Chap 6 RQ 12 due Homework 5 due | 3/7 | 3/8 |
| 3/11 Spring Break | 3/12 | 3/13 Spring Break | 3/14 | 3/15 |
| Monday | Tuesday | Wednesday | Thursday | Friday |
|---|---|---|---|---|
| 3/18 Lecture 16 CFL Pumping Lemma Lecture (slides) (handout) Lecture (annotated) Read Chapter 8 Linz No RQ due | 3/19 | 3/20 Lecture 17 Turing Machines Lecture (slides) (handout) Lecture CFL Prop (annotated) Lecture TM (annotated) Read Chapter 9 Linz RQ 13 (on Chap. 8 due) Homework 6 due Project 2 Part 1 due | 3/21 | 3/22 |
| 3/25 Lecture 18 Lecture TM (annotated) Classwork3 (pdf) RQ 14 (on Chap. 9) due | 3/26 | 3/27 Lecture 19 Combining TM Lecture (slides) (handout) Lecture (annotated) L-Systems Read L-systems paper No RQ due Project 2 due | 3/28 | 3/29 |
| 4/1 Lecture 20 L-Systems Lecture (slides) (handout-4up) RQ 15 Classwork4 (pdf) Homework 7 out | 4/2 | 4/3 Lecture 21 Other Models TM (slides) (handout) Lecture (annotated) Classwork5 (pdf) Read Chap 10.1-10.2 Linz RQ due 16 | 4/4 | 4/5 |
| Monday | Tuesday | Wednesday | Thursday | Friday |
|---|---|---|---|---|
| 4/8 Lecture 22 Catchup/Review review Homework 7 due Project 3 out | 4/9 | 4/10 Exam II | 4/11 | 4/12 |
| 4/15 Lecture 23 Read Chap 10.3-10.5 Linz Lecture (annotated) Classwork6 (pdf) Finish Chapter 10 RQ 17 due | 4/16 | 4/17 Lecture 24 Recursively Enumerable (slides) (handout) Lecture TM other models (annotated) Lecture RE (annotated) JFLAP files Turing paper Read Chapter 6.3 Read Chapter 11.1-2 Homework 8 out No RQ due | 4/18 | 4/19 |
| 4/22 Lecture 25 Read Chapter 11.3-4 Unrestricted Grammar Recursively Enumerable Lecture RE (annotated) Decidability Lecture (slides) (handout) Lecture Decidability (annotated) RQ 18 Due Project 3 due | 4/23 | 4/24 Lecture 26 Compilers Lecture (slides) (handout) scanner.l parser.y y.output Review Classwork Read Chapter 12.1 Review Last Day of Class Souvenir Classwork RQ 19 due Homework 8 due | 4/25 | 4/26 |
| Monday | Tuesday | Wednesday | Thursday | Friday |
|---|---|---|---|---|
| 4/29 Final Exam 2-5pm | 4/30 | 5/1 | 5/2 | 5/3 |