Sipser, Michael.

Introduction to the theory of computation / Michael Sipser. - 2nd ed., Int ed. - Boston, Mass. : Thomson/Course Technology, c2006. - xvii, 437 p. : ill. ; 24 cm.

Includes bibliographical references (p. 421-425) and index.

Part One: Automato and languages: 1. Regular languages - 2. Context-free languages -- Part two: Computability theory: 3. The church-turing thesis - 4. Decidability - 5. Reducibility - 6. Advanced topics in computability theory -- Part three: Complexity theory: 7. Time complexity - 8. Space Complexity - 9. Intractability - 10. Advanced topics in complexity theory.

0619217642


Machine theory.
Computational complexity.

511.3 / SIP