Introduction to the Theory of Computation
Michael Sipser
Introduction to the Theory of Computation Second Edition by ...