INTRO AND REGULAR LANGS

Jan 28: Admin, Intro to Theory of Comp

DO NOT GO PAST THIS LINE

DFAs

DFAs for Arithmetic Tricks

DFA Closure

NFAs

NFA Closure SLIDES

Number of States PAPER

Reg Expressions (regex)

regex closure

Proving Langs Not Reg

CONTEXT FREE LANGS & CONTEXT SENSITIVE LANGS

CFL's

Syn Correct C Programs Undecdable?

CFL in P

DFA-NFA-CFL

AND CSG's

Misc CFL Stuff

COMM COMPLEXITY & MUFFINS

Comm. Comp.

Muffin Math

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

Worst Math Song on the Web

P, NP, ETC.

SLIDES DTIME, P, EXP, NP SLIDES

More on NPC SLIDES

Is Factoring NPC?

Is Graph Isomorphism NPC?

Review for Midterm: Regular

Review for Midterm: Grammars

Review for Midterm: P and NP

Midterm.

Cook-Levin Thm

and CLIQ TO SAT SLIDES

Closure Properties of P and NP

SAT SOLVERS SLIDES

DECIDABLE & UNDECIDABLE SETS

Decidability and Undecidability SLIDES DR. SUESS HALTING PROBLEM

More on Hilberts Tenth Problem SLIDES

Papaer about H10 PAPER

Primitive Recursive Functions SLIDES

WS1S SLIDES

Link to the MONA website-dec of WS2S

Undec problems about CFG's SLIDES

Theory of (Q,<) SLIDES

Mr Ed Theme song

About the Final SLIDES

Kolm Comp SLIDES

Emptyness and Fullness Problems SLIDES

Bounded Queries in Recursion Theory SLIDES

Review for final: REG

Review for final: CFG

Review for final: P and NP

Review for final: DEC and UNDEC

We Could Have Covered