INTRO AND REGULAR LANGS

Jan 25: Admin, Intro to Theory of Comp

Jan 25 DFAs

Jan 30 DFAs for Arithmetic Tricks

Jan 30 DFA Closure

Feb 1 NFAs

Feb 1 NFA Closure SLIDES

Feb 6 Number of States PAPER

Feb 8 Reg Expressions (regex)

Feb 13 regex closure

Feb 13 hw01 solutions

Feb 15 Proving Langs Not Reg

CONTEXT FREE LANGS & CONTEXT SENSITIVE LANGS

Feb 15 and 20 CFL's

Feb 20 hw02 solutions

Syn Correct C Programs Undecdable?

Feb 22 CFL in P

Feb 22 DFA-NFA-CFL

Feb 22 AND 27 CSG's

Feb 27 Misc CFL Stuff

COMM COMPLEXITY & MUFFINS

Feb 29 Comm. Comp.

Feb 29 hw03 Solutions

Feb 29 hw04 Solutions

March 5 Muffin Math

March 5 Muffin Math Song- 2nd Worst Math Song on the Web

March 5 Worst Math Song on the Web

P, NP, ETC.

March 7 HW05 Solutions

March 7, 12 SLIDES DTIME, P, EXP, NP SLIDES

Marcy 7 More on NPC SLIDES

March 14 Is Factoring NPC?

March 14 Is Graph Isomorphism NPC?

March 26 Review for Midterm: Regular

March 26 Review for Midterm: Grammars

March 26 Review for Midterm: P and NP

March 28 hw07 review

April 2. Midterm.

April 4 Cook-Levin Thm

April 4 and 9 CLIQ TO SAT SLIDES

April 9 Closure Properties of P and NP

April 9 SAT SOLVERS SLIDES

DECIDABLE & UNDECIDABLE SETS

April 14 Decidability and Undecidability SLIDES DR. SUESS HALTING PROBLEM

April 16 More on Hilberts Tenth Problem SLIDES

April 16 Papaer about H10 PAPER

April 16 Primitive Recursive Functions SLIDES

April 18 WS1S SLIDES

April 19 Link to the MONA website-dec of WS2S

April 23 Undec problems about CFG's SLIDES

April 23 HW07 Prob 7 SLIDES

April 25 Theory of (Q,<) SLIDES

April 25 Mr Ed Theme song

April 25 Hw08 Review SLIDES

April 25 Hw09 Review SLIDES

April 30 About the Final SLIDES

April 30 Kolm Comp SLIDES

April 30 Emptyness and Fullness Problems SLIDES

May 2 Bounded Queries in Recursion Theory SLIDES

May 2 HW 10 review SLIDES

May 7 Review for final: REG

May 7 Review for final: CFG

May 7 Review for final: P and NP

May 9 Review for final: DEC and UNDEC

May 9 Review for final: Misc

May 9 We Could Have Covered