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

Instructor:

Teaching Assistants:

Meeting Times:

Monday, Wednesday, and Friday, 8:30 - 9:20, MEB 246

CSE 322 E-Post Group

The CSE 322 E-Post Group is a way to have threaded discussions about topics related to the course.

CSE 322 E-mail Group

To view the CSE 322 e-mail archive at archive. To subscribe the CSE 322 e-mail list at CSE 322 e-mail. The main purpose of the e-mail group is to post announcements from the instructors.

Assignments are due on Friday (late assignments not accepted without prior approval).

Assignment 1 due January 10 .pdf
Assignment 2 due January 17 .pdf
Assignment 3 due January 24 .pdf
Assignment 4 due January 31 .pdf
Assignment 5 due February 14 .pdf
Assignment 6 due February 21 .pdf
Assignment 7 due February 28 .pdf
Assignment 8 due March 7 .pdf
Assignment 9 due March 14 .pdf

Reading

1/6 - 1/12: Chapter 1, all sections and Chapter 2, sections 1-2.
1/13 - 1/19: Chapter 2, sections 3-7.
1/20 - 1/26: Chapter 3, all sections.
1/27 - 2/2: Chapter 4, section 1-3.
2/10 - 1/16 Chapter 4, section 4, Chapter 5, sections 1-4
2/17 - 2/23 Chapter 6, all sections
2/24 - 3/2 Chapter 7, all sections
3/3 - 3/9 Chapter 8, sections 1-2
3/4 - 3/16 Chapter 8, sections 3-4
Sequitur Slides
Cellular Automata Slides

Text Book

John E. Hopcroft , Rajeev Motwani , Jeffrey D. Ullman .
Introduction to Automata Theory, Languages, and Computation, Second Edition, Addison-Wesley, 2001. Solutions to starred problems in the book can be found at this web site.

General Theory Resources

These resources may be helpful in your studies.

Midterm Exam

Final Exam

Grading

CSE logo Department of Computer Science & Engineering
University of Washington
Box 352350
Seattle, WA  98195-2350
(206) 543-1695 voice, (206) 543-2969 FAX
[comments to ladner]