The Steam Powered Turing Machine University of Washington Department of Computer Science & Engineering
 CSE 322: Introduction to Formal Models in Computer Science, Winter 2004
  CSE Home   CSE 322 Home  About Us    Search    Contact Info 

  Sign-up Instructions
Homework Assignments
  #8 Q3 Sol
  #8 Q2 Sol
  #8 Q4,Q1, #7, Q7 Sol
  Assignment #8
  Assignment #7
  Assignment #6
  Assignment #5
  Assignment #4
  Assignment #3
  Assignment #2
  Assignment #1
Reading Assignments
  Read Chapter 4
  Skim Section 3.1
  Cocke-Kasami-Younger Algorithm example
  Read Sections 2.2-2.3
  Chomsky Normal Form
  Read Section 2.1
  Minimizing DFAs
  Myhill-Nerode Theorem
  Regular Expressions from NFA's
  Pattern Matching
  Read Chapter 1
  Review Chapter 0
  Midterm Topics
  Sample Midterm
  Final Exam Topics
  Sample Final Exam
MWF 1:30-2:20    MGH 231

Office Hours Location Phone
Instructor: Paul Beame   beame at  
Wednesdays 3:00-3:50
After class or by appt
CSE 668 543-5114
TAs: Bhushan Mandhani   bhushan at  
T 2:30-3:20
Th 2:30-3:20
CSE 216
CSE 218
Benjamin Shih   benshih at   Th 3:30-4:20 CSE 216

Grading: Homework 45-55%, midterm 15-20%, final 30-35%, give or take. Extra Credit.


Mailing List: There is a class mailing list, cse322 at Follow the link in the left column on this page to sign up. Everyone is expected to be reading cse322 e-mail to keep up-to-date on the course.

Midterm Exam: Fri. Feb 13 in class. There is a list of topics to be covered and a sample midterm. There will be a review session Thursday, Feb 12 in Sieg 134.

Final Exam: The final exam will be at the time listed in the official exam schedule which is 2:30-4:20 p.m. Monday March 15.

Suggestions or Comments? You can send comments to the instructor or TA using this anonymous feedback form

Portions of the CSE 322 Web may be reprinted or adapted for academic nonprofit purposes, providing the source is accurately quoted and duly credited. The CSE 322 Web: © 1993-2004, Department of Computer Science and Engineering, University of Washington.