CSE 322: Introduction to Formal Models in Computer Science
Rimli Sengupta, Spring 2001
MWF 10:30-11:20, EE1 037
|| MW 11:30-12:30
TuW 12:30-1:30, Thu 2:30-3:30 Sieg 226a
E-mail Archive: (Last update:03/19/01
(This is a log of all messages sent to the class e-mail list.)
To send mail to the whole class, mail to: firstname.lastname@example.org
Instructions on how to subscribe to the cse322 mailing list can be
Michael Sipser, Introduction
to the Theory of Computation, PWS Publishing, 1997. Errata
1. (3/26/01) Initial Course Info. (pdf)
2. (4/4/01) Proof of subset construction (NFA to DFA).
Homework is intended to be a major portion of the course. Assignments will
be due weekly. It is expected that homework solutions represent original
1. (3/28/01) Homework
1. Due Friday 4/6/01 Sample
2. (4/6/01) Homework
2. Due Friday 4/13/01
3. (4/13/01) Homework
3. Due Friday 4/20/01
The course grade will be based on homework, a midterm, and a final exam.
The approximate weights of the three components are: 50% Homework, 15%
midterm and 35% final exam.
Old Course Webs:
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: Copyright 1999, Department of Computer
Science and Engineering, University of Washington.