Introduction to the Theory of ComputationNow you can clearly present even the most complex computational theory topics to your students with Sipser's distinct, market-leading INTRODUCTION TO THE THEORY OF COMPUTATION, 3E. The number one choice for today's computational theory course, this highly anticipated revision retains the unmatched clarity and thorough coverage that make it a leading text for upper-level undergraduate and introductory graduate students. This edition continues author Michael Sipser's well-known, approachable style with timely revisions, additional exercises, and more memorable examples in key areas. A new first-of-its-kind theoretical treatment of deterministic context-free languages is ideal for a better understanding of parsing and LR(k) grammars. This edition's refined presentation ensures a trusted accuracy and clarity that make the challenging study of computational theory accessible and intuitive to students while maintaining the subject's rigor and formalism. Readers gain a solid understanding of the fundamental mathematical properties of computer hardware, software, and applications with a blend of practical and philosophical coverage and mathematical treatments, including advanced theorems and proofs. INTRODUCTION TO THE THEORY OF COMPUTATION, 3E's comprehensive coverage makes this an ideal ongoing reference tool for those studying theoretical computing. Important Notice: Media content referenced within the product description or the product text may not be available in the ebook version. |
Other editions - View all
Common terms and phrases
00k and/or eChapter(s 2012 Cengage Learning 20l2 Cengage accept affect the overall alphabet arrows automata binary Cengage Learning reserves circuit clause complexity computation history configuration construct contains copied Copyright 2012 Cengage corresponding decidable deemed define definition describe deterministic DPDA Due to electronic duplicated eB 00k and/or edges Editorial review electronic rights equivalent example exponential find finite automaton first following figure froin the eB GNFA graph infinite input string input symbol materially affect nodes nondeterministic NP—complete output overall learning experience path Player polynomial polynomial time algorithm problem PROOF IDEA prove PSPACE pumping lemma quantifiers reading recognizes regular expression regular languages reject remove additional reserves the right review has deerned right to remove Rights Reserved rule runs satisfiable scanned simulation stack step suppressed content suppressed froin tape third party content transition function Turing machine Turing-recognizable undecidable variable Verifier whole
Bibliographic information
| Title | Introduction to the Theory of Computation |
| Author | Michael Sipser |
| Edition | 3 |
| Publisher | Cengage Learning, 2012 |
| ISBN | 1285401069, 9781285401065 |
| Length | 504 pages |
| Subjects | › Computers / Computer Science |
| Export Citation | BiBTeX EndNote RefMan |