CSE 322: Introduction to Formal Models in Computer Science

Rimli Sengupta, Spring 2001

MWF 10:30-11:20, EE1 037

 Staff
 Name
 Email 
 Phone
 Office Hours
  Instructor:
 Rimli Sengupta
    rimli@cs   616-6026         MW 11:30-12:30   Sieg 213
  TA:
 Kaustubh Deshmukh
   kaustubh@cs     TBA
TuW 12:30-1:30, Thu 2:30-3:30  Sieg 226a

Class E-mail Archive:
(This is a log of all messages sent to the class e-mail list.)
To send mail to the whole class, mail to: cse322@cs.washington.edu
Instructions on how to subscribe to the cse322 mailing list can be found here.

Syllabus
 

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

Handouts:

1. (3/26/01) Initial Course Info. (pdf)
2. (4/4/01)   Proof of subset construction (NFA to DFA). (pdf)
3. (5/7/01) Removing useless symbols from a CFG. (pdf)
4. (5/14/01) Equivalence of PDAs and CFGs. (pdf)

Homework:

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.

1. (3/28/01) Homework 1. Due Friday 4/06/01 Sample Solution Comments
2. (4/6/01)   Homework 2. Due Friday 4/13/01 Sample Solution Comments
3. (4/13/01) Homework 3. Due Friday 4/20/01 Sample Solution Comments
4. (4/20/01) Homework 4. Due Friday 4/27/01 Sample Solution
5. (5/9/01)   Homework 5. Due Friday 5/18/01 Sample Solution
6. (5/18/01) Homework 6. Due Friday 5/25/01 Sample Solution

Midterm:

There will be an in-class midterm on Wednesday May 2, 2001. Old midterm (pdf).

Final:

There will be a comprehensive final exam on Monday June 4, 2001, 8:30 - 10:20 am, in EE1 037. Old final (pdf).

Grading:

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:

Winter 2000 Spring 2000 Autumn 2000 Winter 2001

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:
cse322-webmaster