TY - BOOK AU - Sipser, Michael TI - Introduction to the theory of computation SN - 9781133187790 AV - QA 267 .S57 2013 PY - 2013/// CY - Australia PB - Cengage Learning Asia Pte Ltd KW - MACHIEN THEORY N1 - Includes bibliographical references and index; Part one. Automata and language -- 1. Regular languages -- 2. Context-free languages -- Part two : Computability theory -- 3. The Church-Turing thesis -- 4. Decidability -- 5. Reducibility -- 6. Advanced topics in computability theory -- Part three : Complexity theory -- 7. Time complexity -- 8. Space complexity -- 9. Intractability -- 10. Advanced topics in complexity theory N2 - The third edition includes an entirely new section on deterministic context-free languages with connections to parsing and LR(k) grammars ER -