TY  - BOOK
AU  - Sipser,Michael
TI  - Introduction to the theory of computation
SN  - 8131525295 (pbk)
U1  - 511.35 
PY  - 2013///
CY  - New Dehli
PB  - Cengage Learning
KW  - Computer science
KW  - Machine theory
KW  - Mathematical notions
KW  - Computational complexity
KW  - Finite automata
KW  - Hilbert's problems
KW  - Diagonalization methods
KW  - Complexity theory
KW  - Reducibility
KW  - Decidability
KW  - FC
N1  - Includes bibliography and index
ER  -