TENTATIVE SCHEDULE FOR CPT S 317 (Spring 2015)Schedule subject to change as the course progresses

* Homework links will be activated on their posting dates.

Class Day Date Topic Readings (sections)

Assignments*

Due Posting
1 M 1/12 Course introduction, introduction to automata theory Chapter 1    
2 W+   Instructor Travel - No class. Make up will be announced.      
3 F   Finite Automata (DFA & NFA) Chapter 2    
--- M 1/19 MLK Day (holiday)      
4 W          
5 F   Equivalence of DFA & NFA, epsilon-transitions     HW1 (rubrics)
6 M 1/26 Regular expressions Chapter 3    
7 W          
8 F       HW1 HW2 (rubrics)
9 M 2/2        
10 W          
11 F   Regular language properties: pumping lemma Chapter 4 HW2  
12 M 2/9    
HW3 (rubrics)
13 W
Closure properties


14 F          
--- M 2/16 President's day (holiday)      
15 W   Decision properties of regular languages      
16 F  

 

  HW3  
17 M 2/23 Equivalence & minimization of DFAs      
18 W  

Midterm I

     
19 F   Context free grammars & languages Chapter 5    
20 M 3/2        
21 W          
22 F     Chapter 6    HW4 (rubrics)
23 M 3/9        
24 W     Chapter 7  
25 F   PDAs    HW4  
--- M 3/16 Spring Break (no classes)      
--- W       HW5 (rubrics)
--- F        
26 M 3/23    
 
27 W   HW review by TAs    
28 F   CFL properties: simplification, normal forms      
29 M 3/30 Pumping Lemma for CFLs    HW5
30 W
 

HW6 (rubrics)
31 F
Closure properties for CFL Chapter 8

32 M 4/6 Turing machines      
33 W       HW6
HW7 (rubrics)
34 F   CFL review (HW 4, 5 & 6 )      
35 M 4/13 Midterm II review      
36 W  

 

  HW7  
37 F   Turing machines & extensions, RE languages ... Chapter 9    
38 M 4/20

Midterm II

     
39 W   Undecidability, diagonalization, problem reduction     HW8 (rubrics)
40 F          
41 M 4/27 Intractable problems Chapter 10    
42 W   P & NP, NP-completeness   HW8  
43 F   Course & finals review  
 
--- M 5/4

FINAL EXAM: FRIDAY, MAY 8, 3:10-5:10PM
(IN CLASS)

     
--- 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.