• Click on the Lect n link for streaming video
• Click on the link to download the same video (as an .mp4.zip)
ECS 120 – Fall 2012 – Phillip Rogaway – Lecture-by-lecture Course Outline | |||
---|---|---|---|
Week 0 | Lect 01 R 9/27 | Three problems of differing hardness. Strings and languages, and operators on them. | |
Week 1 | Lect 02 T 10/2 | Kleene closure. Homomorphisms. Example DFAs. Def of a DFA M. Def of L(M). | |
Lect 03 R 10/4 | Minimal-size DFAs. L={anbn: n ≥ 0} has no DFA. Closure properties. Product construction. | ||
Week 2 | Lect 04 T 10/9 | Quiz 1. Closure, properties, continued. NFAs and their languages. The subset construction. | |
Lect 05 R 10/11 | Finish NFA/DFA equivalence. Regular languages and regular expressions. | ||
Week 3 | Lect 06 T 10/16 | Regular languages = NFA-acceptable ones. Minimizing the number of states in a DFA. | |
Lect 07 R 10/18 | Myhill-Nerode Thm. Ways to show languages not regular, incl. the PL. Decision procedures. | ||
Week 4 | Lect 08 T 10/23 | Quiz 2. More decision algorithms on regular languages. Examples of CFGs. CFG terminology. | |
Lect 09 R 10/25 | Formal defns of CFLs. Ambiguity. Regular languages are CF (two proofs). PDAs. | ||
Week 5 | Lect 10 T 10/30 | Syntax for PDAs. Designing PDAs. PDAs accept the CFLs. Formalizing the language of a PDA. | |
Lect 11 R 11/01 | CNF conversion efficiency. CFG membership. CYK algorithm. Pumping Lemma. Closure/nonclosure. | ||
Lect aa U 11/04 | Review session (217 Art, 7-8:30 pm) | ||
Week 6 | Lect 12 T 11/06 | Midterm | |
Lect 13 R 11/08 | Decision procedures for CFLs. Turing machines. Examples. Decidable and recognizable languages. | ||
Week 7 | Lect 14 T 11/13 | Review: decidable, r.e. Entscheidungsproblem. TM variants/alterantives. The Church-Turing thesis. | |
Lect 15 R 11/15 | NTMs, 2-tag systems. Arguments for/against C-T thesis. 4-Possiblities Thm. Undecidability of A_TM. | ||
Week 8 | Lect 16 T 11/20 | Undecidability of A_TM. Many-one reductions. Examples: BTHP, FINITE, VIRUS. | |
Lect bb W 11/21 | More example reductions worked out in discussion section. | ||
Week 9 | Lect 17 - T 11/27 | Quiz 3. Lecture by Prof. Franklin. P, NP, and NP-Completeness. Strong Church-Turing thesis. | |
Lect 18 R 11/29 | Review computability & Rice’s th. Review P, NP. REXPEQ, CIRCUIT-SAT, SAT, 3SAT, CLIQUE. | ||
Week 10 | Lect 19 - T 12/04 | Def and meaning of NP-completness. Showing langauges NPC: 3SAT, CLIQUE. Cook-Levin Theorem. | |
Lect 20 R 12/06 | More NPC rdxns: G3C, SUBSET SUM. Beyond P & NP: BPP, PSPACE, IP. Evaluations. | ||
Lect cc - W 12/12 | Review session. 1:00 - 2:30 pm, in Storer 1344. | ||
Week 11 | Lect dd - F 12/14 | Final, 3:30-5:30 pm |