Introduction to the theory of computation /
Sipser, Michael.
Boston, Mass. ; London : PWS Pub.,
1996.
Includes bibliographical references (p.    -   ) and index.
Machine theory.
Computational complexity.