TY  - BOOK
AU  - Sipser,Michael
TI  - Introduction to the theory of computation
SN  - 9781133187790
U1  - 511.35 
PY  - 2013///]
CY  - Boston, MA
PB  - Cengage Learning
KW  - Machine theory
KW  - Computational complexity
N1  - Includes bibliographical references and index; 1; Regular languages --; 2; Context-free languages --; 3; The Church-Turing thesis --; 4; Decidability --; 5; Reducibility --; 6; Advanced topics in computability theory --; 7; Time complexity --; 8; Space complexity --; 9; Interactibility --; 10; Advanced topics in complexity theory
ER  -