CS 311 : Computational Structures
Fall Term 2015
Professor: James Hook
CRN: 11001
Class Meetings: Tuesday, Thursday 2:00pm to 3:50pm
Location: FAB 150
Final Exam: Monday, December 8, 10:15am to 12:05pm
Contact Information:
James Hook, james.hook@pdx.edu
Office: Engineering Building (EB) 502E
Phone 503 725 5166
Office Hours: Wednesdays, 3  5pm, or by appointment. Please arrive at least 30 minutes before the end of office hours.
I will occassionally have conflicts with office hours; information will be posted in d2l.
TA:
Grades:
Exercises  10% 
Problem Sets  40% 
Midterm  20% 
Final  30% 
Total  100% 
Lecture plan:
Lecture  Date  Topics  Materials  Reading  Due 
1  9/29/15  Course Organization, Motivation, Finite Automata (DFA)  Chapter 0 (all); Section 1.1  
2  10/1/15  Nondeterministic Finite Automata (NFA), Simulation of NFA by DFA  Notes  Section 1.2  EX #1 
3  10/6/15  Closure properties; Regular Expressions  PS #1  
4  10/8/15  Equivalence of Regular Expressions and Regular Languages  Notes  Section 1.3  EX #2 
5  10/13/15  Regular Expression Equivalence (conclusion) 
Section 1.4  PS #2  
6  10/15/15  Pumping Lemma  Section 2.1  EX #3  
7  10/20/15  Context Free Languages (CFL); Context Free Grammars (CFG)  slides EX #4 PS #4 
Section 2.2  PS #3 
8  10/22/15  Push Down Automata (PDA).  notes CYK Algorithm 
EX #4  
9  10/27/15  Equivalence of CFGs and PDAs I; Midterm review  example  PS #4  
10  10/29/15  Midterm Exam  
11  11/3/15  Postmidterm discussion; Equivalence of CFGs and PDAs I.  Section 2.3  
12  11/5/15  Pumping Lemma for CFLs  Section 3.1  EX #5  
13 
11/10/15  Turing Machines. Turing Machine variants; Simulation of nondeterminism  EX #6 PS #6 
Sections 3.2, 3.3  PS #5 
14  11/12/15  Language Problems; ChurchTuring thesis 

Section 4.1  EX #6 
15  11/17/15  An undecidable Problem  EX #7 PS #7 
Section 4.2  PS #6 
16  11/19/15  Reduction Arguments  Chapter 5  EX #7  
17  11/24/15  Reduction arguments  PS #8  PS #7  
Holiday  11/26/15  Thanksgiving!  
18  12/1/15  Time and Space Complexity; Polynomial Time  EX #8  PS #8  
19  12/3/15  Satisfiability is NP Complete; Polynomialtime reduction  EX #8  
Final  12/7/15  Final Exam: 10:15am to 12:05pm  Comprehensive 
Course Description, (strike throughs show shift in emphasis from published description):
The main goal of the course is that students obtain those skills in the theoretical foundations of computing that are used in the study and practice of computer science. A second goal is that students become familiar with Prolog as an experimental tool for testing properties of computational structures. Upon the successful completion of this course students will be able to:
Other texts on automata theory: