Finite State Machines	Closure and Nondeterminism	The Pumping Lemma	Minimizing FSMs	Recitation
Context Free Languages	CFLs and compilers	Recitation	Pushdown Machines	Recitation

CFGs and NPDMs	More lemmas, CYK	Undecidability and CFLs	Recitation	The Bullseye
Turing Machines	Recitation	The Halting Problem	Decidability	Complexity Theory, Quantified Boolean Formula

Savitch's Theorem, Space Hierarchy

Decidability/Complexity Relationship, Recursion Th