Introduction to the theory of computation /

Sipser, Michael,

Introduction to the theory of computation / Michael Sipser. - Third edition. - Boston, MA : Course Technology Cengage Learning, 2012. - xxii, 458 pages : illustrations ; 25 cm.

Includes bibliographical references (pages 443-447) and index.

Part 1: Automata and languages 1. Regular languages ; 2. Context-free languages -- Part 2: Computability theory. 3. The Church-Turing thesis ; 4. Decidability ; 5. Reducibility ; 6. Advanced topics in computability theory -- Part 3: Complexity theory. 7. Time complexity ; 8. Space complexity ; 9. Intractability ; 10. Advanced topics in complexity theory.

Gain a solid understanding of the fundamental mathematical properties of computer hardware, software, and applications with a blend of practical and philosophical coverage and mathematical treatments, including advanced theorems and proofs. This books comprehensive coverage makes it a valuable reference for studies in theoretical computing.

9781133187790

2012938665


Machine theory.
Computational complexity.

QA267 / .S56 2013

511.35 SI.I 2013