Schedule for CS3311
Formal Models of Computation
Fall 2016


Week Date Topic/Read Before Class Assignment
1 M, 08/29 Course information, go over the syllabus
Section 1.1 Set Theory
 
  W, 08/31 Section 1.1 Set Theory (cont'd)
   Methods of defining infinite sets
Section 1.6 Recursive definitions
Homework 1 (pdf)
  Th, 09/01 Make-up Thursday class due to conference cancellations
time: 6:05pm-6:55pm
location: Fisher 328
Section 1.6 Recursive definitions (cont'd)
Section 1.1 Set Theory (cont'd)
   Set operations, set relations, the empty set
 
  F, 09/02 Section 1.6 Recursive definitions (cont'd)
Section 1.7 Mathematical Induction
 
2 M, 09/05 No class: Labor Day  
  W, 09/07 Review Homework 1
Section 1.7 Mathematical Induction (cont'd)
Section 2.1 Strings and Languages
  Alphabet (Σ), string, language
  Definition of Σ*
Homework 2 (pdf)
  Th, 09/08 Make-up Thursday class due to conference cancellations
time: 6:05pm-6:55pm
location: Fisher 328
Section 2.1 Strings and Languages
  Concatenation of strings
  Reversal of strings
Section 2.2 Finite Specification of Languages
  Recursive definition examples
 
  F, 09/09 No class -- K-day recess  
3 M, 09/12 Section 2.2 Finite Specification of Languages (cont'd)
  Recursive definition examples
  Concatenation of languages
  The Kleene star of a set
 
  W, 09/14 Review Homework 2
Section 2.3 Regular sets and expressions
  Definition of regular sets
  Regular set examples
Homework 3 (pdf)
  Th, 09/15 Make-up Thursday class due to conference cancellations
time: 6:05pm-6:55pm
location: Fisher 329
Section 2.3 Regular sets and expressions (cont'd)
  Definition of regular expressions
  Regular expression examples
 
  F, 09/16 Section 2.3 Regular sets and expressions (cont'd)
  Regular expression examples
  How to write regular expressions
 
4 M, 09/19 Section 2.3 Regular sets and expressions (cont'd)
  Regular expression examples
Chapter 5: Finite Automata
  Section 5.2 Deterministic Finite Automata
 
  W, 09/21 Homework 3 review
Sample exam review
Homework 4 (pdf)
  Th, 09/22 Exam 1
Time: 6:00pm - 7:30 pm
Location: Fisher 325
 
  F, 09/23 Chapter 5: Finite Automata
  Section 5.3 State Diagrams and Examples
 
5 M, 09/26 Chapter 5: Finite Automata
  Section 5.3 State Diagrams and Examples
 
  T, 09/27 (Reminder: Michigan Tech Fall Career Fair is on September 27th this year)  
  W, 09/28 Chapter 5: Finite Automata
  Creating a machine for L(M)
  Creating a machine for L(M1) ∩ L(M2)
Homework 5 (pdf)
  F, 09/30 Chapter 5: Finite Automata
  Creating a machine for L(M1) ∩ L(M2) (cont'd)
  Configuration of a DFA
  Section 5.4 Nondeterministic Finite Automata
  Section 5.5 λ-transitions
 
6 M, 10/03 Chapter 5: Finite Automata
  NFA-λ transformations
    Have a single accepting state with no outgoing transitions
    Make the start state have no incoming transitions
  Converting regular expressions into NFA-λs
  Theorem 5.5.3 NFA-λs that accept
     L(M1) ∪ L(M2),
     L(M1) L(M2), and
     L(M1)*
 
  W, 10/05 Review homework 5
Chapter 5: Finite Automata
  Section 5.6 Removing nondeterminism
  (Converting NFAs and NFA-λs into DFAs)
Homework 6 (pdf)
  F, 10/07 Chapter 5: Finite Automata
  Section 5.7 DFA minimization
 
7 M, 10/10 The "Big Picture"
   The language hierarchy
Chapter 3 Context-Free Grammars
  Section 3.1 Context-free grammars and languages
 
  W, 10/12 Review homework 6
Chapter 3 Context-Free Grammars
  Section 3.1 Context-free grammars and languages
  Section 3.2 Examples of grammars and languages
Homework 7 (pdf)
Halloween bonus (pdf)
  F, 10/14 Chapter 3 Context-Free Grammars
  Section 3.2 Examples of grammars and languages
    derivation tree, sentence, sentential form
 
8 M, 10/17    
  W, 10/19 No class -- Conference travel  
  F, 10/21 No class -- Conference travel  
9 M, 10/24    
  W, 10/26   Homework 8 (pdf)
  Th, 10/27 Exam 2
Time: 6:00pm - 7:30 pm
Location: Fisher 325
 
  F, 10/28    
10 M, 10/31   Halloween bonus (pdf)
  W, 11/02   Homework 9 (pdf)
  F, 11/04    
11 M, 11/07    
  W, 11/09   Homework 10 (pdf)
  F, 11/11    
12 M, 11/14    
  W, 11/16   Homework 11 (pdf)
  Th, 11/17 Exam 3
Time: 6:00pm - 7:30 pm
Location: Fisher 325
 
  F, 11/18 No class -- evening exam 3  
Break M, 11/21 Thanksgiving recess  
  W, 11/23 Thanksgiving recess  
  F, 11/25 Thanksgiving recess  
13 M, 11/28    
  W, 11/30   Homework 12 (pdf)
  F, 12/02    
14 M, 12/05    
  W, 12/07    
  F, 12/09    
Finals W, 12/14 Final Exam
Time: 12:45pm - 2:45pm
Location: Fisher 328
 

 
(Created: August 20, 2016)