TY - BOOK AU - Sipser,Michael TI - Introduction to the theory of computation SN - 0534950973 (pbk) U1 - 511.35 PY - 2006/// CY - Andover PB - Cengage Learning KW - Machine theory KW - Computational complexity KW - Mathematical notions KW - Finite automata KW - Nondeterministic turning machines KW - Hilbert's problems KW - Diagonalization methods KW - Complexity theory KW - FC ER -