CS301
Foundations of Computer Science

Spring 2006
Department of Computer Science
Link to Colorado State University Home
 Page

Overview    Announcements   Schedule   Instructors   Grading   Class Material   Discussion Board   Resources


Schedule and Assignments

This is a tentative schedule and will be modified as the semester progresses.

Dates
Topics
Reading
(Read before class)
Assignments Due
Jan 17
Course overview.
Intro to parsing (see links in Class Material webpage).
Sets, relations, functions, equivalence relations.
Preface and Introduction of Sudkamp text.
Start working on Assignment 1 tonight.
Bring questions to class tomorrow.
Jan 18
Countable and uncountable sets. Diagonalization.
Sections 1.1 - 1.5
 
Jan 19
Recursive Definitions. Induction.
Sections 1.6 - 1.8
Assignment 1:
Chapter 1 exercises
1a, 1d, 1e, 2c, 4, 7, 12, and 14.
Hand in at start of class today.
Also hand in a 3"x5" card with your name in large print and your picture on it.
Jan 24
Directed graphs.
 
 
Jan 25
Questions.
 
 
Jan 26
Strings and languages.
Section 2.1 - 2.2
Assignment 2:
Chapter 1 exercises
16, 19, 24, 29, 32, 36, 38, 44, 47.
Jan 31
Regular Sets
Sections 2.3
Assignment 1 Re-Do due
Feb 1
Regular Expressions
Sections 2.4
 
Feb 2
Context-free grammars and languages
Section 3.1
 
Feb 7
Example grammars
Sections 3.2
Assignment 3: Chapter 2 exercises
8, 15, 26, 37, 39c. Here is explanation of how to use egrep to test your regular expressions.
Assignment 2 Re-Do also due.
Feb 8
Regular grammars. Verifying grammars.
Sections 3.3 - 3.4
 
Feb 9
Leftmost derivations and ambiguity. Programming language definition.
Sections 3.5 - 3.6
Assignment 4:
Chapter 3 exercises
4, 6c, 7, 12, 14c, 16, 39b,
Feb 14
Quiz on Chapter 1
CFG Transformations.
Sections 4.1 - 4.2
 
Feb 15
Elimination of lambda and chain rules and useless symbols
Sections 4.3 - 4.4
 
Feb 16
Chomsky and Greibach Normal Forms
Sections 4.5 - 4.8
Assignment 5:
Chapter 4 exercises
3, 4, 8, 15, 17
Feb 21
Deterministic Finite Automata
Sections 5.1 - 5.3
Assignment 3 Re-Do. Assignment 4 Re-Do.
Feb 22
Nondeterministic Finite Automata, lambda-transitions
Sections 5.4 - 5.5
 
Feb 23
Removing nondeterminism
Section 5.6
Assignment 6:
Chapter 4 exercises: 19, 26 (not required), 28, 32. Do 26 for extra credit, first time only.
Chapter 5 exercises: 1, 5, 13, 22e
Feb 28
Quiz on Chapter 2
DFA minimization
Section 5.7
Assignment 5 Re-Do.
Mar 1
More examples of minimization.
 
 
Mar 2
Finite Automata and Regular Languages
Sections 6.1 - 6.2
Assignment 7:
Chapter 5 exercises: 25c, 25d, 33, 36, 40c, 41, 45b
Mar 7
Finite Automata and Regular Languages
Sections 6.3 - 6.4
Assignment 6 Re-Do.
Mar 8
Pumping Lemma for Regular Languages
Sections 6.5 - 6.7
 
Mar 9
Quiz on Chapters 3 and 4
 
Assignment 8:
Chapter 6 exercises: 2b, 2c (from Chapter 5, 40b and c), 5, 14b
Mar 13 - 17
Spring Break
 
 
Mar 21
Pushdown Automata and Context-Free Languages.
Sections 7.1 - 7.3
Assignment 7 Re-Do.
Mar 22
Pumping Lemma for Context-Free Languages and Closure
Sections 7.4 - 7.5
 
Mar 23
Quiz on Chapter 5
Top-Down Parsing. Reductions
Section 18.1 - 18.3
Assignment 9:
Chapter 7 exercises 2, 3d, 3f, 3j, 7, 12, 14
Mar 28
Bottom-Up Parsing
Sections 18.4 - 18.5
Assignment 8 Re-Do.
Mar 29
Lookahead parsing
Sections 19.1
 
Mar 30
LL(k) Grammars
Sections 19.2 - 19.5
Assignment 10: Chapter 18 exercises 2, 5, 10.
For extra credit, do Chapter 7 exercises 17a, 17c.
Apr 4
LL(1) Parsing
Sections 19.6 - 19.8
Assignment 9 Re-Do.
Apr 5
LR(0) Parsing, LR(1) Grammars
Sections 20.1 - 20.5
 
Apr 6
Quiz on Chapters 6 and 7
 
Assignment 11:
Chapter 19 exercises 2a, 3b, 6b, 9a, 12a, 13a.
Apr 11
Turing Machines
Sections 8.1 - 8.2
 
Apr 12
TM Variations
Sections 8.3 - 8.6
 
Apr 13
Nondeterministic TM
Sections 8.7 - 8.8
Assignment 12:
Chapter 8 exercises 1, 3b, 5b, 5c. 12, 13. For extra credit, do Chapter 20 exercises 1a, 7a.
Apr 18
Turing Machine Computations
Sections 9.1 - 9.3
Assignments 10 Re-do and Assignment 11 Re-do.
Apr 19
TM Function Composition; Uncomputable Functions
Sections 9.4 - 9.5
 
Apr 20
Quiz on Chapters 18 and 19. Unrestricted grammars.
Section 10.1.
Assignment 13: Chapter 9 exercises 2, 5d, 7a, 8a, 19.
Apr 25
Context-Sensitive Grammars. Linear-bounded automata. Chomsky Hiearchy
Sections 10.2 - 10.4
Assignment 12 re-do.
Apr 26
Decision problems. Problem reduction.
Sections 11.1 - 11.3
 
Apr 27
Quiz on Chapter 8. Church-Turing Thesis
Sections 11.4 - 11.5
Assignment 14: Chapter 10 exercises 1a, 1c, 5, 13.
May 2
Undecidability
Chapter 12.
Assignment 13 re-do.
May 3
P and NP
Chapter 15.
 
May 4
Review for final exam.
 
Assignment 14 re-do.
Assignment 15: Chapter 11 exercises 6 and Chapter 12 exercises 12a, 16a, 17a.
May 10, Wednesday, 5:50 - 7:50 PM
Final Exam
 
 
May 10, Wednesday, midnight
 
 
E-mail to anderson@cs.colostate.edu your solution to this Extra Credit Assignment by midnight tonight.

Back to top of this page