TY  - BOOK
AU  - Sipser,Michael
TI  - Introduction to the theory of computation / 
SN  - 0534950973
U1  - 511.35   22
PY  - 2006///
CY  - Boston : 
PB  -  Thomson Course Technology, 
KW  - Bioinformatics
KW  - Machine theory
KW  - Computational complexity
N1  - 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
N2  - This market leading text on computational theory provides a mathematical treatment of computer science theory designed around theorems and proofs
ER  -