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