Introduction to the theory of computation - Sipser, Michael (Australia : Thomson Course Technology, 2007)
Includes index.
Keywords: Computational complexity; Machine theory; Electronic data processing