CSE 322 Lectures and Handouts

CSE Home

About Us

Search

Contact Info

Main page Administration  Syllabus  Workload and Grading  Instructor and TAs  Lectures  Email archive  Accommodations Assignments and exams  Assignments  Exams  Policies

Lectures will comprise of slides plus white-board based discussion of definitions, theorems, and examples, accompanied by occasional group-based problem-solving sessions. Lecture Slides and Handouts: 09/30/2002   Introduction 10/07/2002   Review of Proof Techniques 10/09/2002   Handout on Dovetailing and Diagonalization (ask instructor for copy) 10/23/2002   Regular Expressions and DFAs/NFAs (Postscript File) 10/25/2002   Intro to Pumping Lemma (Postscript File) 10/28/2002   Pumping Lemma redux (Postscript File) 11/01/2002   Midterm Review (Postscript File) 11/13/2002   Pushdown Automata (Postscript File) 11/20/2002   More on CFLs (Postscript File) 11/27/2002   Turing Machines (Postscript File) 12/02/2002   Closure Properties (Postscript File) 12/06/2002   Undecidability (Postscript File) 12/09/2002   Final Review (Postscript File) On-line resources and fun links: Finite Automaton Simulator - program a DFA. Regular Expressions in Java - search for patterns in a text. Fun with Regular Expressions - a game for Regular Expression junkies. Pushdown Automaton Simulator - program a PDA (as well as FAs and Turing Machines). Turing Machine Simulator - program a Turing machine. The Theory of Computing Hall of Fame - read about Turing, Chomsky, and other greats UW's Steam-Powered Turing Machine (stop by the east stairwell in Sieg between the 2nd and 3rd floors).

	Department of Computer Science & Engineering University of Washington Box 352350 Seattle, WA  98195-2350 (206) 543-1695 voice, (206) 543-2969 FAX [comments to rao@cs.washington.edu]