CSE 322: Introduction to Formal Models in Computer Science, Winter 2004

CSE Home

CSE 322 Home

About Us

Search

Contact Info

Email   Archive    Sign-up Instructions Homework Assignments   #8 Q3 Sol   #8 Q2 Sol   #8 Q4,Q1, #7, Q7 Sol   Assignment #8   Assignment #7   Assignment #6   Assignment #5   Assignment #4   Assignment #3   Assignment #2   Assignment #1 Reading Assignments   Read Chapter 4   Skim Section 3.1   Cocke-Kasami-Younger Algorithm example   Read Sections 2.2-2.3   Chomsky Normal Form   Read Section 2.1   Minimizing DFAs   Myhill-Nerode Theorem   Regular Expressions from NFA's   Pattern Matching   Read Chapter 1   Review Chapter 0 Administrative   Syllabus   Midterm Topics   Sample Midterm   Final Exam Topics   Sample Final Exam

MWF 1:30-2:20    MGH 231 Office Hours Location Phone Instructor: Paul Beame   beame at cs.washington.edu   Wednesdays 3:00-3:50 After class or by appt CSE 668 543-5114 TAs: Bhushan Mandhani   bhushan at cs.washington.edu   T 2:30-3:20 Th 2:30-3:20 CSE 216 CSE 218 Benjamin Shih   benshih at cs.washington.edu   Th 3:30-4:20 CSE 216 Grading: Homework 45-55%, midterm 15-20%, final 30-35%, give or take. Extra Credit. Textbook: Michael Sipser, Introduction to the Theory of Computation, PWS Publishing, 1997. A copy is on reserve in the Engineering Library. (Book Errata: first printing , second printing .) Mailing List: There is a class mailing list, cse322 at cs.washington.edu. Follow the link in the left column on this page to sign up. Everyone is expected to be reading cse322 e-mail to keep up-to-date on the course. Midterm Exam: Fri. Feb 13 in class. There is a list of topics to be covered and a sample midterm. There will be a review session Thursday, Feb 12 in Sieg 134. Final Exam: The final exam will be at the time listed in the official exam schedule which is 2:30-4:20 p.m. Monday March 15. Suggestions or Comments? You can send comments to the instructor or TA using this anonymous feedback form 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: © 1993-2004, Department of Computer Science and Engineering, University of Washington.