CSE 322: Introduction to Formal Models in Computer Science
Paul Beame, Spring 2000
MWF 2:30-3:20, EE1 045
| Staff | Name | Email | Phone | Office Hours |
|---|
| Instructor: |
Paul Beame |
beame at cs.washington.edu | 543-5114 | MF 3:20-4:00, W 4:30- | Sieg 416 |
| TA's: |
Erik Vee |
env at cs.washington.edu | 543-5129 | T 2:30-3:20, Th 12:00-12:50 | Sieg 226d |
|
Sumeet Sobti |
sobti at cs.washington.edu | 543-5118 | T 2:30-3:20, Th 12:00-12:50 | Sieg 226d |
Class E-mail Archive:
(Last update:
.)
(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.
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
Cocke-Kasami-Younger 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 40-50% Homework, 15-25% midterm and 30-40% final exam.
Midterm
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:
cse322-webmaster
(Last Update:
)