CSE 322: Introduction to Formal Models in Computer Science
Paul Beame, Spring 2000
MWF 2:303:20, EE1 045
Staff  Name  Email  Phone  Office Hours 
Instructor: 
Paul Beame 
beame at cs.washington.edu  5435114  MF 3:204:00, W 4:30  Sieg 416 
TA's: 
Erik Vee 
env at cs.washington.edu  5435129  T 2:303:20, Th 12:0012:50  Sieg 226d 

Sumeet Sobti 
sobti at cs.washington.edu  5435118  T 2:303:20, Th 12:0012:50  Sieg 226d 
Class Email Archive:
(Last update:
[an error occurred while processing this directive].)
(This is a log of all messages sent to the class email 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.
Syllabus
Textbook::
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.
Handouts:
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
CockeKasamiYounger Algorithm Example Postscript
or PDF
Reading:
Read Chapter 1, concentrating on sections 1.7 and 1.8
Homework:
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
Feedback:
Anonymous (or not) feedback form to tell
us how things are going.
Grading:
The course grade will be based on homework,
a midterm, and a final exam. The approximate weighting of the three components
is 4050% Homework, 1525% midterm and 3040% final exam.
Midterm
May 8 in class
Midterm topics Postscript or
PDF
Final Exam
Tuesday June 6, 2:304: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:
cse322webmaster
(Last Update:
04/08/05
)