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 lots of white-board based discussion of definitions, theorems, and examples. Bring a notebook to class to take notes. Lecture slides summarizing white-board discussions will be made available for each chapter but not all details and examples may be present. It is therefore important you attend each class, take notes, and pay attention! Lecture Slides and Handouts: 03/29/2010   Introduction 04/09/2010   Review of Proof Techniques 04/09/2010   Handout on Dovetailing and Diagonalization (ask instructor if you didn't get one in class) 04/26/2010   Converting NFAs to Regular Expressions (courtesy of Prof. Paul Beame) 04/28/2010   Regular Expressions and Pumping Lemma 04/30/2010   Midterm Review and Da Pumpin' Lemma 05/17/2010   Pushdown Automata and CFGs 05/21/2010   Pumping Lemma Reincarnated (plus Turing Machines) 05/26/2010   Varieties of Turing Machines and the Church-Turing Thesis 05/28/2010   Those Darn Undecidable Problems and Reducibility 06/04/2010   Final Review Kris and Milda's notes from the lectures:    Mar 29-April 14    April 16    April 19                 April 21                 April 23    April 26                 April 28                 April 30    May 3 (midterm)    May 5                   May 7    May 10                  May 12                 May 14    May 17                  May 19                 May 21 (see slides above)    May 24                  May 26 (slides)     May 28    May 31 (holiday)    June 2                   June 4 (slides) On-line resources and fun links: New York Times article on Dovetailing and Diagonalization - the "Hilbert Hotel." Automaton and Turing Machine Simulator - program a DFA, PDA or TM. Regular Expressions in Java - search for patterns in a text. Fun with Regular Expressions - a game for Regular Expression junkies. Another Turing Machine Simulator - watch the action unroll on a tape! The Theory of Computing Hall of Fame - read about Turing, Chomsky, and other greats UW's Steam-Powered Turing Machine (picture at CSE Reception and 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]