Automata, Computability and Complexity: Theory and Applications,Used

Automata, Computability and Complexity: Theory and Applications,Used

In Stock
SKU: SONG0132288060
UPC: 884329751238.0
Brand: Pearson
$23.38 $33.40
Save $10.02
Quantity
Add to wishlist
Add to compare

Processing time: 1-3 days

US Orders Ships in: 3-5 days

International Orders Ships in: 8-12 days

Return Policy: 15-days return on defective items

Payment Option
Payment Methods

Help

If you have any questions, you are always welcome to contact us. We'll get back to you as soon as possible, withing 24 hours on weekdays.

Customer service

All questions about your order, return and delivery must be sent to our customer service team by e-mail at yourstore@yourdomain.com

Sale & Press

If you are interested in selling our products, need more information about our brand or wish to make a collaboration, please contact us at press@yourdomain.com

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, contextfree grammars, pushdown automata, Chomsky and Greibach normal forms, contextfree parsing, pumping theorems for regular and contextfree languages, closure theorems and decision procedures for regular and contextfree languages, Turing machines, nondeterminism, decidability and undecidability, the ChurchTuring thesis, reduction proofs, Post Correspondence problem, tiling problems, the undecidability of firstorder logic, asymptotic dominance, time and space complexity, the CookLevin theorem, NPcompleteness, 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.

⚠️ WARNING (California Proposition 65):

This product may contain chemicals known to the State of California to cause cancer, birth defects, or other reproductive harm.

For more information, please visit www.P65Warnings.ca.gov.

Recently Viewed