April 24, 2026Introduction to the Theory of ComputationNotesAutomata, computability, complexity. The clearest treatment.