The theoretical underpinnings of computing form a standard part of almost every computer science curriculum. But the classic treatment of this material isolates it from the myriad ways in which the theory influences the design of modern hardware and software systems. The goal of this book is to change that. The book is organized into a core set of chapters (that cover the standard material suggested by the title), followed by a set of appendix chapters that highlight application areas including programming language design, ...
Read More
The theoretical underpinnings of computing form a standard part of almost every computer science curriculum. But the classic treatment of this material isolates it from the myriad ways in which the theory influences the design of modern hardware and software systems. The goal of this book is to change that. The book is organized into a core set of chapters (that cover the standard material suggested by the title), followed by a set of appendix chapters that highlight application areas including programming language design, compilers, software verification, networks, security, natural language processing, artificial intelligence, game playing, and computational biology. The core material includes discussions of finite state machines, Markov models, hidden Markov models (HMMs), regular expressions, context-free grammars, pushdown automata, Chomsky and Greibach normal forms, context-free parsing, pumping theorems for regular and context-free languages, closure theorems and decision procedures for regular and context-free languages, Turing machines, nondeterminism, decidability and undecidability, the Church-Turing thesis, reduction proofs, Post Correspondence problem, tiling problems, the undecidability of first-order logic, asymptotic dominance, time and space complexity, the Cook-Levin theorem, NP-completeness, Savitch's Theorem, time and space hierarchy theorems, randomized algorithms and heuristic search. Throughout the discussion of these topics there are pointers into the application chapters. So, for example, the chapter that describes reduction proofs of undecidability has a link to the security chapter, which shows a reduction proof of the undecidability of the safety of a simple protection framework.
Read Less
Add this copy of Automata, Computability and Complexity: Theory and to cart. $22.99, good condition, Sold by Zoom Books East rated 4.0 out of 5 stars, ships from Glendale Heights, IL, UNITED STATES, published 2007 by Pearson.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Book is in very good condition and may include minimal underlining highlighting. The book can also include From the library of labels. May not contain miscellaneous items toys dvds etc. We offer 100% money back guarantee and 24 7 customer service.
Add this copy of Automata, Computability and Complexity: Theory and to cart. $23.98, fair condition, Sold by ThriftBooks-Dallas rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 2007 by Pearson.
Add this copy of Automata, Computability and Complexity: Theory and to cart. $27.98, good condition, Sold by Big River Books rated 5.0 out of 5 stars, ships from Powder Springs, GA, UNITED STATES, published 2007 by Pearson.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
This book is in good condition. The cover has minor creases or bends. The binding is tight and pages are intact. Some pages may have writing or highlighting.
Add this copy of Automata, Computability and Complexity: Theory and to cart. $31.18, very good condition, Sold by FirstClassBooks rated 4.0 out of 5 stars, ships from Little Rock, AR, UNITED STATES, published 2007 by Pearson.
Add this copy of Automata, Computability and Complexity: Theory and to cart. $34.39, good condition, Sold by SurplusTextSeller rated 5.0 out of 5 stars, ships from Columbia, MO, UNITED STATES, published 2007 by Pearson.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).
Add this copy of Automata, Computability and Complexity: Theory and to cart. $60.75, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2007 by Pearson.
Add this copy of Automata, Computability and Complexity: Theory and to cart. $70.36, good condition, Sold by TEXTSHUB rated 5.0 out of 5 stars, ships from Franklin Lakes, NJ, UNITED STATES, published 2007 by Pearson.
Add this copy of Automata, Computability and Complexity: Theory and to cart. $73.20, good condition, Sold by Book Words rated 4.0 out of 5 stars, ships from Midland Park, NJ, UNITED STATES, published 2007 by Pearson.
Add this copy of Automata, Computability and Complexity: Theory and to cart. $75.03, very good condition, Sold by Book Words rated 4.0 out of 5 stars, ships from Midland Park, NJ, UNITED STATES, published 2007 by Pearson.
