• Part 1: FAs, REs, and Regular Languages

  • Part 2: Grammars, PDAs, and Context-Free Languages

  • Part 3: Turing Machines and Decidable Problems

  • Part 4: Undecidable Problems

  • Part 5: P and NP