- Week 1
Tuesday March 29, 2011
Due Today:
Announcements:
Links to today's recorded lecture.
Class Topic:
Class preliminaries
Review of Sets
The regular language calculator.
Readings:
1.1, 1.2 Sets
1.3.3, 3.1.2, 3.2.2 Strings
6.1, 6.2, 6.3, 7.1 Logic
4.4 Proofs
11.1 Regular Languages
Assigned today:
-
Thursday March 31, 2011
Due Today:
Announcements:
Links to today's recorded lecture.
Class Topic:
Proof by Induction
Notes on induction
Readings:
11.1.1 Regular Expressions
11.1.2 Algebra of Regular Expressions
Assigned today:
Homework 1.
- Week 2
Tuesday April 5, 2011
Due Today:
Announcements:
Links to today's recorded lecture.
Class Topic:
Regular Expressions
DFAs
Readings:
11.2 Finite Automata
11.2.6 The delta function extension to strings. Transition Tables
Assigned today:
-
Thursday April 7, 2011
Due Today:
Homework 1
Announcements:
Richard Stallman speaks at PSU tonight!
We are starting a class email list. Check the list for accuracy.
QUIZ next thursday, April 14, 2001.
Links to today's recorded lecture.
Class Topic:
Answer Questions about homework.
NFAs
DFAs and NFAs are equally powerful
epsilon-NFAs
Readings:
11.2.2 NFAs
11.2.3 RegExp to NFA
11.2.6 Representing and Executing Finite Automata
Assigned today:
Homework 2.
- Week 3
Tuesday April 12, 2011
Due Today:
Announcements:
QUIZ on thursday (in 2 days!), April 14, 2001.
Using the class email address: cs311list@cs.pdx.edu
to join visit: https://mailhost.cecs.pdx.edu/mailman/listinfo/cs311list
Links to today's recorded lecture.
Class Topic:
Regular Expressons and Automata are the same
Acceptance of RE
Readings:
11.2.3 Transforming RE into FA
11.2.4 TRamsforming FA nto RE
11.3 Constructing Efficient FA
Assigned today:
-
Thursday April 14, 2011
Due Today:
Homework 2.
Announcements:
Links to today's recorded lecture.
Class Topic:
We will definitely have the first 15 minute Quiz today. Come prepared.
Minimizing DFAs
Readings:
11.3.3 Minimal DFAs
Assigned today:
Homework 3.
- Week 4
Tuesday April 19, 2011
Due Today:
Announcements:
Quiz 1 results
Links to today's recorded lecture.
Class Topic:
Regular Grammars
The pumping Lemma
Properties of Regular Languages
Readings:
11.4.1 Regular Grammars
11.4.2 Properties of RegExp
11.4.2 Pumping Lemma
Assigned today:
-
Thursday April 21, 2011
Due Today:
Homework 3.
Links to today's recorded lecture.
Announcements:
Class Topic:
Context Free Grammars
Readings:
12.1 Context Free Languages
Assigned today:
Homework 4.
- Week 5
Tuesday April 26, 2011
Due Today:
Announcements:
Links to today's recorded lecture.
Midterm Exam on Thursday
Class Topic:
Grammars for Top-Down Parsing
Preparing for the exam
Readings:
12.3 Context Free Parsing
12.3.1 Top-down parsing and LL(k)
Assigned today:
-
Thursday April 28, 2011
Due Today:
Homework 4.
Announcements:
Class Topic:
Midterm exam today. Only, pencil, pen, eraser, and 1 sheet of notes allowed.
Readings:
Assigned today:
Homework 5.
- Week 6
Tuesday May 3, 2011
Due Today:
Announcements:
Links to today's recorded lecture.
Class Topic:
Bottom-Up Parsing
Push down automata
Readings:
12.3.2 Bottom-up parsing and LR(k)
12.2 Push down automata
Assigned today:
-
Thursday May 5, 2011
Due Today:
Homework 5.
Announcements:
Homework 6 delayed til Tuesday May 10.
Links to today's recorded lecture.
Class Topic:
Equivalence PDA and CFL
CFL Properties, Chomsky Normal Form
Readings:
12.2.2 PDA -> CFG
12.2.3 Running PDA
12.4.1 Transforming Grammars (Chimsky Normal Form)
12.4.2 Properties of Context Free Languages.
Assigned today:
- Week 7
Tuesday May 10, 2011
Due Today:
Announcements:
Links to today's recorded lecture.
Class Topic:
Go over midterm exam
CFL and the big picture
Intro to Turing Machines
Readings:
13.1 Turing Machines
Assigned today:
Homework 6 assigned today.
-
Thursday May 12, 2011
Due Today:
Announcements:
Alan Turing's paper Computing Machinery and Intelligence.
A guide to reading the paper
A timeline of the events discussed in Alan Turings paper
An Alan Turing Scrapbook.
Links to today's recorded lecture.
Class Topic:
More Turing Machines
Readings:
13.1.3 Alternative Definitions
Assigned today:
- Week 8
Tuesday May 17, 2011
Due Today:
Homework 6 due today.
Announcements:
Links to today's recorded lecture.
Class Topic:
Church's Thesis
Equivalent Computing Systems
The Simple Programming Language
Other Turing computable mechanisms
Readings:
13.2 Church's Thesis, Markov Algorithms, Partial Recursive functions
Assigned today:
Homework 7 assigned today
-
Thursday May 19, 2011
Due Today:
Announcements:
Links to today's recorded lecture.
Class Topic:
15 minute quiz today
Post Algorithms
Readings:
Section 13.2 Post systems
Assigned today:
- Week 9
Tuesday May 24, 2011
Due Today:
Homework 7 due today
Announcements:
Explore a career in High Tech
Links to today's recorded lecture.
Class Topic:
The Lambda Calculus
The lambda calculator
Readings:
Assigned today:
Homework 8 will be assigned Thursday
-
Thursday May 26, 2011
Due Today:
Announcements:
Links to today's recorded lecture.
Class Topic:
Undecidable Problems
Readings:
Section 13.1.4 Universal Turing Machines
Section 14.1 Decideability
Assigned today:
Homework 8 assigned today
- Week 10
Tuesday May 31, 2011
Due Today:
Announcements:
Links to today's recorded lecture.
Class Topic:
Computability and Complexity
Language Hierarchy
Readings:
5.6 Rates of Growth, Big-O
14.3 Complexity Classes
14.3.6 Formal Complexity Theory
Assigned today:
-
Thursday June 2, 2011
Due Today:
Homework 8 due today.
Announcements:
Course evaluations done today.
Links to today's recorded lecture.
Class Topic:
Go over quiz #2 results.
NP Completness.
Readings:
14.3 The Class NP
14.3.3 The Class PSpace
Assigned today:
Study for the final exam.
study guide for final exam
- Finals Week
Monday June 6, 2011
Final Exam Period. 10:15 am -> 12:05 PM.
Note this is different from our class schedule!
See 2011 final exam schedule
Final Exam Histogram.
Final Average Histogram. (Includes all elements weighted as described in class preliminaries.)