# CMSC 452 Slides and Recordings. Dates for the future are guesswork

# Jan 26: Admin, Intro to Theory of Computation SLIDES

# Jan 28 Deterministic Finite Automata SLIDES

# Feb 2 Deterministic Finite Automata-arithmetic tricks SLIDES

# Feb 4 Deterministic Finite Automata-Closure Prop SLIDES

# Feb 4(some) NonDeterministic Finite Automata SLIDES

# Feb 9 NonDet. Finite Automata:Closure Prop SLIDES

# Feb 11 Regular Expressions SLIDES

# Feb 11 Regex Closure Props DID NOT GIVE THIS LECTURE- READ IF INTERESTED SLIDES

# Feb 16 Number of States SLIDES

# Paper on Small NFAs PAPER

# Feb 23 Proving Languages are NOT Reg SLIDES

# Feb 25,Mar 02 Context Free Languages SLIDES

# Is a program in the write syntax is Undecidable?DISCUSSION

# Apr 27 Examples of WS1S Atomic Formulas DFA SLIDES

# Misc stuff that was NOT in our course