Introduction to the theory of computation /
Sipser, Michael.
Introduction to the theory of computation / Michael Sipser. - 2nd ed. - Boston : Thomson Course Technology, 2006. - xix, 431 p. : ill. ; 25 cm.
Includes bibliographical references (p. 415-419) and index.
Introduction 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 Selected Bibliography
This market leading text on computational theory provides a mathematical treatment of computer science theory designed around theorems and proofs.
0534950973 9780619217648
2006271030
Bioinformatics.
Machine theory.
Computational complexity.
511.35
Introduction to the theory of computation / Michael Sipser. - 2nd ed. - Boston : Thomson Course Technology, 2006. - xix, 431 p. : ill. ; 25 cm.
Includes bibliographical references (p. 415-419) and index.
Introduction 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 Selected Bibliography
This market leading text on computational theory provides a mathematical treatment of computer science theory designed around theorems and proofs.
0534950973 9780619217648
2006271030
Bioinformatics.
Machine theory.
Computational complexity.
511.35