Introduction to the theory of computation /
Sipser, Michael.
Boston, Mass. : Thomson Course Technology,
c2006.
Machine theory.
Computational complexity.