April 24, 2026 Introduction to the Theory of Computation Notes Automata, computability, complexity. The clearest treatment.