Back to Media
Introduction to the Theory of Computation
Michael Sipser
Notes
Automata, computability, complexity. The clearest treatment.