Name | Date modified | File size |
|
|---|---|---|---|
01-Overview Shared | Sep 6, 2023 | 7 KB | |
02: Mathematical Notions Shared | Aug 28, 2023 | 109 KB | |
03-Mathematical Truth Shared | Aug 28, 2023 | 6 KB | |
04-Groucho and the Elephant Shared | Oct 9, 2023 | 21 KB | |
05-Chomsky Normal Form Shared | Aug 28, 2023 | 8 KB | |
06-CFG = PDA Shared | Apr 6, 2024 | 94 KB | |
07-Pumping Lemma for CFL Shared | Oct 25, 2023 | 159 KB | |
07A Pumping Lemma CFL Proofs Shared | Nov 7, 2023 | 7 KB | |
08-Other Turing Machines Shared | Nov 14, 2023 | 815 KB | |
09-Turing Machines to Algorithms Shared | Nov 15, 2023 | 120 KB | |
10-Decidable Languages Shared | Nov 20, 2023 | 337 KB | |
11-Undecidability Shared | Nov 28, 2023 | 73 KB | |
12: The Halting Problem Shared | Dec 4, 2023 | 9 KB | |
13-Two Undecidable Languages Shared | Dec 7, 2023 | 11 KB | |
14-Mapping Reducibility Shared | Dec 7, 2023 | 97 KB |