CMSC 452 Slides. Dates for the future are guesswork
INTRO AND REGULAR LANGS
Jan 28:
Admin, Intro to Theory of Comp
Jan 28
DFAs
Jan 30
DFAs for Arithmetic Tricks
Jan 30
DFA Closure
Feb 4
NFAs
Feb 4
NFA Closure
Feb 6
Number of States
Feb 6
Small NFAs
Feb 11
Reg Expressions (regex)
Feb 11
HW02 solutions
Feb 13-18
regex closure
Feb 18-20
Proving Langs Not Reg
Feb 25
The 3-4-5 problem
Feb 25,27
CFL's
Feb 27
HW03 sol
Feb 27
HW04 sol
March 4
CFG's For Finite Unary Languages
NOT ON FINAL
Syn Correct C
Programs Undecdable?
March 6
HW05 sol
March 11
CFL in P
March 13
Context Sensitive Languages
OLD MIDTERM
GUIDELINES FOR MIDTERM
March 25
Mid Review Reg
,
Mid Review CFL
March 27
hw06sol
,
hw07sol
April 1 Midterm1
April 3
Midterm Solutions
P, NP, ETC.
April 3,8
DTIME, P, EXP, NP SLIDES
April 8
More on NPC
April 15,17
Cook-Levin Thm
April 17
hw10 Solutions
NOT COVERED IN CLASS SO NOT ON FINAL April 22
Closure Properties of P and NP
NOT ON FINAL April 22
Functions and Sets
April 24
Is Factoring NPC?
April 24
CLIQ TO SAT
April 24
Hw9 Solutions
DECIDABLE & UNDECIDABLE SETS
April 29
Decidable and Undecidable
April 29
More on Hilbert's 10th Problem
April 29
PAPER on Hilbert's 10th problem
May 1
Alternative Proof that HALT is undec
May 1 (SIS and beyond NOT on final)
WS1S Decidable
May 1
Link to the MONA website-dec of WS2S
NOT ON FINAL May 6
Quantum Games
NOT ON FINAL May 6
Godel's Inc Theorem
May 8
hw11 solutions
May 8
hw12 solutions
May 8
Funny Math Things and hw13sol
May 8
WS1S Decidable- Finish it up
Predictions
Review for final: REG
Review for final: CFG
Review for final: P and NP
Review for final: DEC and UNDEC