TY  - BOOK
AU  - Sipser,Michael
TI  - Introduction to the theory of computation
SN  - 1133187811
AV  - QA267 .S56 2013
PY  - 2013///]
CY  -  Australia
PB  - Cengage Learning
KW  - Machine theory
KW  - Computational complexity
N1  - "International edition"--cover;  Previous edition: Boston, Mass. : Thomson Course Technology, 2006; 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  -