CSE 322: Introduction to Formal Models in Computer Science

Rimli Sengupta, Winter 2000

MWF 2:30-3:20, Thomson 125

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

Yongshao Ruan 

jmc at cs.washington.edu 

ruan at cs.washington.edu



W 10:30-12:00, Th 10:15-11:45 

  M 10:30-11:30, T 2:30-3:30

Sieg 226a,b

Class E-mail Archive: (Last update:03/19/00 at 12AM.)
(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)

Simplifying CFGs

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


Homework is intended to be a major portion of the course. Assignments will be due weekly. It is expected that homework solutions represent original work.


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.


February 9, 2000, in class.

Final Exam

Tuesday March 14, 2000, 2:30-4:20 in Thomson 125.

Old Course Webs:

Autumn 1998 Winter 1999 Spring 1999 Autumn 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: 03/11/00)