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

  Sign-up Instructions
Homework Assignments
  Assignment #1
  Assignment #2
  Assignment #3
  Assignment #4
  Assignment #5
  Assignment #6
  Assignment #7
  Assignment #8
  Sol #8
Reading Assignments
  PDA to CFG conversion
  Bottom-up Parsing
  Page 240-241 & CKY Example
  Chomsky Normal Form
  Read Chapter 2
  Minimizing DFAs
  Myhill-Nerode Theorem
  Pattern Matching
  Regular Expressions from NFAs
  Defining delta-star
  Read Chapter 1
  Review Chapter 0
  Final Exam Topics
  Midterm Topics
MWF 10:30-11:20    EE1 045

Office Hours Location Phone
Instructor: Paul Beame   beame@cs  
Wednesdays 1:00-1:30
MWF 11:20-11:50 or by appt
CSE 668 543-5114
TAs: Atri Rudra    atri at cs  
W 3:00-3:50
Th 1:00-1:50
CSE 218
CSE 218
Brandon Ballinger   brandonb at cs   Th 10:30-11: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, 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. May 6 in class. There will be a review session on Thursday May 5 at 4:30, room TBA. The midterm will cover all the material on finite automata and regular languages. There is a detailed list of midterm topics. Here is a sample midterm from a previous offering I gave. Here is another sample midterm.

Final Exam: The final exam will be at the time listed in the official exam schedule which is 8:30-10:20 a.m. Monday June 6. There is a list of final exam topics and an old final exam to study from.

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-2005, Department of Computer Science and Engineering, University of Washington.