PICTURE: DFA for Sigma* a Sigma Sigma

NOTES: Closure Properties for Reg Langs

NOTES: R(i,j,k) Method for converting DFA to REGEX

NOTES: Small NFA for …

NOTES: If L is a CFL then L is in P

TALK: HW Review, March 31

SLIDES on Last Years Midterm and Solutions, April 2

SLIDES, Midterm Review, April 7

April 7 6:00PM-9:00PM Midterm

April 9: TMs, DTIME TALK SLIDES

April 9: TMs, DTIME SLIDES

April 17: Concrete Time H Thm SLIDES on Time Hier Thm

April 14: P, NP, Reductions. SLIDES

April 16: Cook-Levin Thm TALK SLIDES

April 21, NPC Probs TALK-IS TALK-3COL SLIDES

April 23, Closure Properties for P and NP. TALK, SLIDES

April 28 SAT Solvers SLIDES-SAT

April 28 CLIQ to SAT TALK-CLIQ SLIDES-CLIQ NOTES-CLIQ

April 30, Decidability and Undecidability TALK SLIDES SLIDES on HALT

May 5, H10, WS1S. TALK-H10 TALK-WS1S SLIDES-WS1S NOTES-WS1S

May 7 hw09 Solutions SLIDES

May 12 Final Review SLIDES

May 14 CFG stuff NOTES