CSE 322: Introduction to Formal Models in Computer Science

Paul Beame, Spring 2000

MWF 2:30-3:20, EE1 045

StaffNameEmailPhoneOffice Hours
Instructor: Paul Beame beame at cs.washington.edu 543-5114MF 3:20-4:00, W 4:30- Sieg 416
TA's: Erik Vee env at cs.washington.edu543-5129T 2:30-3:20, Th 12:00-12:50Sieg 226d
Sumeet Sobti sobti at cs.washington.edu543-5118T 2:30-3:20, Th 12:00-12:50Sieg 226d

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.


Lewis & Papadimitriou Elements of the Theory of Computation: Second Edition, Prentice Hall, 1998.

This is the new edition that has the picture of Alan Turing on its cover. The old edition is NOT suitable. There is a list of typos available.


Subset construction proof in postscript or PDF
Construction of Regular Expressions from NFA's in postscript or PDF
Converting a PDA to a CFG Postscript or PDF
Converting a CFG to Chomsky Normal Form Postscript or PDF
Pumping Lemma for CFL's Postscript or PDF
Cocke-Kasami-Younger Algorithm Example Postscript or PDF


Read Chapter 1, concentrating on sections 1.7 and 1.8


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
Assignment #2
Assignment #3
Assignment #4
Assignment #5
Brief Assignment #6 Postscript or PDF
Assignment #7
Assignment #8
Assignment #9

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 40-50% Homework, 15-25% midterm and 30-40% final exam.


May 8 in class
Midterm topics Postscript or PDF

Final Exam

Tuesday June 6, 2:30-4:20 in class
Final exam topics
Sample final in Postscript or PDF

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 2000, Department of Computer Science and Engineering, University of Washington.
Comments to:
(Last Update: 04/08/05 )