• Current Week: 1

Weekly Notes	Topics	Reading	Assignments
Week 1	Syllabus Survey Call the roll Course Overview Diagonalization arguments Math Background A few words on proofs A revised version (pdf) of the powerset size proof. Languages and Strings	Preface Chapter 0	HW1 is here Due Wednesday 9/7/11 Friday 9/9/11
Week 2	Math Background A few words on proofs A revised version (pdf) of the powerset size proof. Languages and Strings 1.1a: Regular Languages & Automata	Chapter 1	HW1 is here Due Wed 9/8/10
Week 3	1.1a: Regular Languages & Automata 1.1b: Regular Operations and Closure	Chapter 1	HW2 is is here. Due Mon 9/19/11.
Week 4	1.1b: Regular Operations and Closure 1.2: Nondeterminism	Chapter 1	HW3 is here Due Fri 9/30/11
Week 5	1.2: Nondeterminism 1.3: Regular Expressions	Chapter 1	HW4 is here Due Mon 10/10/11 Exam FRIDAY 10/14/11
Week 6	Exam: Friday of next week on these topics ( updated for Fall 11) 1.3: Regular Expressions Pumping Lemma for Regular Languages Pumping Lemma for Regular Languages: A new introduction 1.4: Non-Regular Languages - Pumping Lemma FAQ on the Pumping Lemma Another Approach to Pumping Lemma Yet Another Approach to Pumping Lemma	Chapters 1, 2	HW4 is here Due Monday 10/10/11 Exam Friday 10/14/11 HW5 is ready here Due Wed 10/19/11
Week 7	Exam: Friday of this week on these topics ( updated for fall 100) Context Free Grammars	Chapters 1, 2	HW4 is here Due Wed 10/10/11 Exam Friday 10/14/11 HW5 is ready here Due Wed 10/19/11
Week 8	Context Free Grammars	Chapter 2	HW5 is here Due Wed 10/19/11 HW6 is here Due Wed 10/26/11
Week 9	Context Free Grammars Pushdown Automata		HW6 is here Due Wed 10/26/11
Week 10	Pushdown Automata Pushdown Automata - PDA → CFL Pushdown Automata - CFL → PDA Pumping lemma for context free languages	Chapter 2	HW7 is here Due: Friday 11/4/11
Week 11	Vim Presentation - Part 1: Today (Wednesday) at 5 in the Unix Lab Exam Wednesday of next week - 11/16/10 Topics list for this year Exam Review Session: Tuesday 1:00, Location Davis DA 022 More on the Pumping lemma for Context Free Languages Deterministic PDA << Nondeterministic PDA Turing Machines: Introduction A physical Turing machine Turing Machines Variants: Multitape machines	Chapters 2 and 3	FOR DISCUSSION ON MONDAY OF NEXT WEEK: HW8 is here.
Week 12	Exam 2 this week: Wednesday 11/16/11 Exam Review Session: Tuesday 1:00, Location DA 022 topics list for this year Discussion of homework 8 Turing Machines Variants (3.2): Multitape machines Nondeterministic and Deterministic machines Enumerators Decidable and Recognizable Languages (3.2) Church-Turing Thesis (and Hilbert's Problem) (3.3) Hilbert's Problem is Recognizable but not Decidable!		Exam 2: Wednesday 11/16/11 HW 9 Due Wed after break, 11/30/11 HW 10 Due Fri after break, 12/02/11
Week 13	Thanksgiving Week!		HW 9 Due Wed after break, 11/30/11 HW 10 Due Fri after break, 12/02/11
Week 14	Review - TD and TR Languages (3.2) Key Points: Turing Decidable and Turing Recognizable Languages: Strings in and out of the language How to prove a language is TD. How to prove a language is TR. Hierarchy of languages: RL, CFL, TD, TR, All New notes for chapter 3 Decidability Machines (4.1) Decidable Languages: ADFA, ANFA, ARE, EDFA, EQDFA, ACFG, ECFG The Halting Problem (4.2) ATM is NOT Decidable, but it is Recognizable ATM' is NOT Recognizable An interesting article (thanks, David) The Halting Problem Simplified		HW 9 Due Wed after break, 11/30/11 HW 10 Due Fri after break, 12/02/11 HW 11 Due Mon a week after break, 12/05/11
Week 15	Chapter 5: Reducibility, more undecidable problems (HALTTM, ETM, EQTM), and the Post Correspondence Problem: Chapter 7: Complexity P and NP: Essentials Chapter 7: Overview Chapter 7: Sections 1 and 2 Chapter 7: Sections 3, 4, and 5 Do you want to have one more homework, to be due next week? Exam next week: 2:45 p.m. - 4:45 p.m., Tuesday, December 13, 2011 Topics for Final Exam Do you want to schedule a review session next week? Other topics: Chomsky's Hierarchy and Linear Bounded Automata Post Correspondence Problem		HW 11 Due Mon a week after break, 12/05/11
Week 16	Comprehensive Final Exam: 2:45 p.m. - 4:45 p.m., Tuesday, December 13, 2011		Comprehensive Final Exam
Notes for entire semester

• Note that the weekly notes column above is deprecated, as is the notes for the entire semester.


• Check my grades


• Syllabus


• Text web page (includes errata): www-math.mit.edu/~sipser/book.html