TENTATIVE SCHEDULE FOR CPT S 317 (Spring 2014)
* Homework links will be activated on their posting dates.
Class | Day | Date | Topic | Readings (sections) |
Assignments* |
|
Due | Posting | |||||
1 | M | 1/13 | Course introduction, introduction to automata theory | Chapter 1 | ||
2 | W | |||||
3 | F | Finite Automata (DFA & NFA) | Chapter 2 | |||
--- | M | 1/20 | MLK Day (holiday) | |||
4 | W | |||||
5 | F | Equivalence of DFA & NFA, epsilon-transitions | HW1 (rubrics) | |||
6 | M | 1/27 | Regular expressions | Chapter 3 | ||
7 | W | |||||
8 | F | HW1 | HW2 (rubrics) | |||
9 | M | 2/3 | ||||
10 | W | |||||
11 | F | Regular language properties: pumping lemma | Chapter 4 | |||
12 | M | 2/10 | HW2 | HW3 (rubrics) | ||
13 | W | Closure properties | ||||
14 | F | |||||
--- | M | 2/17 | President's day (holiday) | |||
15 | W+ | Decision properties of regular languages | ||||
16 | F+ |
|
HW3 | |||
17 | M | 2/24 | Equivalence & minimization of DFAs | |||
18 | W+ |
Midterm I |
||||
19 | F | Context free grammars & languages | Chapter 5 | |||
20 | M | 3/3 | ||||
21 | W | |||||
22 | F | Chapter 6 | ||||
23 | M | 3/10 | ||||
24 | W | Chapter 7 | HW4 (rubrics) | |||
25 | F | PDAs | ||||
--- | M | 3/17 | Spring Break (no classes) | |||
--- | W | |||||
--- | F | |||||
26 | M | 3/24 | HW4 | |||
27 | W | CFL properties: simplification, normal forms | HW5 (rubrics) | |||
28 | F | |||||
29 | M | 3/31 | Pumping Lemma for CFLs | |||
30 | W | HW5 | HW6 (rubrics) | |||
31 | F | Closure properties for CFL | Chapter 8 | |||
32 | M | 4/7 | Turing machines | |||
33 | W | HW6 | HW7 (rubrics) | |||
34 | F | CFL review (HW 4, 5 & 6 ) | ||||
35 | M | 4/14 | Midterm II review | |||
36 | W |
|
HW7 | |||
37 | F | Turing machines & extensions, RE languages ... | Chapter 9 | |||
38 | M | 4/21 |
Midterm II |
|||
39 | W | Undecidability, diagonalization, problem reduction | HW8 (rubrics) | |||
40 | F | |||||
41 | M | 4/28 | Intractable problems | Chapter 10 | ||
42 | W | P & NP, NP-completeness | ||||
43 | F | Course & finals review | HW8 | |||
--- | M | 5/5 |
FINAL EXAM: FRIDAY, MAY 9, 3:10-5:10PM |
|||
--- | W | |||||
--- | F |
* Instructor will be traveling these dates. An announcement will be made about alternative arrangements shortly before the respective class dates. Please look out for announcements regarding class schedule those dates.