TY  - BOOK
AU  - Sipser,Michael
TI  - Introduction to the theory of computation
SN  - 9780619217648
AV  - QA267 .S56 2006
PY  - 2006///
CY  - Boston
PB  - Thomson Course Technology
KW  - Machine theory
KW  - Computational complexity
N1  - "The content of this text differs from the US version" -- back cover; Includes bibliographical references 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
N2  - This market leading text on computational theory provides a mathematical treatment of computer science theory designed around theorems and proofs
ER  -