Comment by cryptoxchange

Introduction to the Theory of Computation by Michael Sipser