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: 03/29/2004   Introduction 04/09/2004   Review of Proof Techniques 04/09/2004   Handout on Dovetailing and Diagonalization (ask instructor for copy) 04/23/2004   Regular Expressions and DFAs/NFAs 04/28/2004   Da Pumping Lemma 04/30/2004   Midterm Review 05/10/2004   Pushdown Automata 05/21/2004   PDAs, CFGs, and Pumping Lemma Reincarnated 05/28/2004   Turing Machines 06/02/2004   Closure and Undecidability 06/04/2004   Chomsky and Final Review 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 (in the east stairwell in Sieg Hall 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]