Lecture Topic
Typed Notes
In Class Written Notes
Intro Lecture
Introduction
Chapter 0
Section 1.1
8/20/24 Notes
NFAs
NFAs
Regular Operations
8/22/24 Notes
REs
Regular Expressions
8/27/24 Notes
Pumping Lemma
Pumping Lemma
8/29/24 Notes
9/3/24 Notes
DFA Minimization
Sudkamp Excerpt
Notes
9/5/24 Notes
Context Free Grammars
Part I
Part II
9/12/24 Notes
Pushdown Automatas
9/17/24 Notes
9/19/24 Notes
Pumping Lemma for CFL
9/24/24 Notes
Turing Machines
Intro to TMs
Drew, Anthony, Chris and Sean's Notes
10/3/24 Notes
Turing Machine Variants, Decidability
Turing Machine Variants
10/15/24 Notes
Countability, Undecidable Languages
Recursively Enumerable Languages
10/17/24 Notes
More Undecidable Languages
Reducibility
10/22/24 Notes
reduction.java
Post Correspondence Problem
N/A
10/24/24 Notes
Mapping Reducibility
Mapping Reducibility
10/29/24 Notes
mapreduce.java
Class P
The Class P
11/5/24 Notes
Class NP
The Class NP
11/7/24 Notes
Proof of Cook-Levin Theorem
Version 1
Version 2
11/12/24 Notes
Proof of Other NP-Complete Problems
Version 1
Version 2
11/14/24 Notes
11/19/24 Notes