Computer Science & Electrical Engineering
Course Info

CS533 Automata and Formal Languages

Assignments  60% 

Midterm  20% 
Final Exam  20% 
The textbook is Introduction to the Theory of Computation 3rd edition, by Michael Sipser.
Tue Jun 28 Class 1  Lecture 1a  Chapter1: Finite Automata  

Thu Jun 30 Class 2  Lecture 1b  Proof techniques  
Tue Jul 5 Class 3  Lecture 1c  Nondetermistic Finite Automata  Homework 1 
Thu Jul 7 Class 4  Lecture 1d  Regular Expressions  
Tue Jul 12 Class 5  Lecture 1e  Pumping Lemma for nonRegular Languages  Homework 2 
Thu Jul 14 Class 6  Lecture 2a  Chapter 2: Context Free Grammars  
Tue Jul 19 Class 7  Lecture 2b  Designing CFG, Chomsky Normal Form, Nondeterministic pushdown automata  Homework 3 
Thu Jul 21 Class 8  Lecture 2c  Equivalence of PDA and CFG  
Tue Jul 26 Class 9  Lecture 2d  Pumping Lemma for nonContextFree Languages  Homework 4 
Thu Jul 28 Class 10  Lecture 3a
Lecture 3b  Chapter 3: Turing Machines  
Tue Aug 2 Class 11  Lecture 3c  Variants  Homework 5 
Thu Aug 4 Class 12  Lecture 4a  Chapter 4: Decidability of DFA's and CFG's  
Tue Aug 9 Class 13  Lecture 4b  Enumerable sets and the Halting Problem  Homework 6 
Thu Aug 11 Class 14  Midterm Review  
Tue Aug 16 Class 15  Midterm Chapters 13  
Thu Aug 18 Class 16  Lecture 5a  Reductions  Chapter 5 
Homework 7  Due Thursday August 25 by 3:30pm.  
Tue Aug 23 Class 17  Lecture 5b  Reductions on Computational Histories  
Thu Aug 25 Class 18  Lecture 7a  Time Complexity  Chapter 7 
Homework 8  Due Thursday September 1 by 3:30pm.  
Tue Aug 30 Class 19  Lecture 7b  P and NP  
Thu Sep 1 Class 20  Lecture 7b  P and NP  
Homework 9  Due Thursday September 8 by 3:30pm.  
Tue Sep 6 Class 21  No Class  
Thu Sep 8 Class 22  Review Session for  
Tue Sep 13 Class 23  Final 