CSE 322: Introduction to Formal Models in Computer Science

Rimli Sengupta, Fall 1999

MWF 10:30-11:20, Denny 216

Staff Name Email Phone Office Hours
Instructor: Rimli Sengupta rimli at cs.washington.edu 616-6026 MWF 11:30-12:30  Sieg 227b
TAs: Justin Campbell 

Yongshao Ruan 

jmc at cs.washington.edu

ruan at cs.washington.edu



M 2:30-4, Th 10:00-11:30

 TW 2:30-4:00

Sieg 226a,b

Class E-mail Archive: (Last update:[an error occurred while processing this directive].)
(This is a log of all messages sent to the class e-mail list.)
To send mail to the whole class, mail to: cse322 at cs.washington.edu
Instructions on how to subscribe to the cse322 mailing list can be found here.


Michael Sipser, Introduction to the Theory of Computation, PWS Publishing, 1997. Errata


Initial Course Info. (PostScript)

Conversion of PDA's to CFG's (PostScript)


Homework is intended to be a major portion of the course. Assignments will be due weekly, usually on Friday. It is expected that homework solutions represent original work.
Assignment #1 (PostScript)
Assignment #2
Assignment #3 (PostScript)
Assignment #4 (PostScript)
Assignment #5 (PostScript)
Assignment #6 (PostScript)

Anonymous (or not) feedback form to tell us how things are going.


The course grade will be based on homework, a midterm, and a final exam. The approximate weighting of the three components is 50% Homework, 15% midterm and 35% final exam. 

Old Course Webs:

Spring 1998 Autumn 1998 Winter 1999 Spring 1999

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.
Comments to:

(Last Update: 04/08/05)