Automata, Computability and Complexity: Theory and Applications
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.
1 page matching "Knowledge Representation and Reasoning" in this book
What people are saying - Write a review
The explanation on this book are more detailed than other automata textbooks. The author also links the theoretical concepts with practical applications.
Review: Automata, Computability and Complexity: Theory and ApplicationsUser Review - Rod Hilton - Goodreads
Elaine Rich's Automata, Computability, and Complexity book is, to me, the CLRS of automata theory. CLRS never goes terribly deep into it's algorithms, but it provides an extremely wide breadth of ... Read full review
46 other sections not shown
Pearson - Automata, Computability and Complexity: Theory and ...
Automata, Computability and Complexity: Theory and Applications, Elaine A. Rich. ISBN-10: 0132288060 ISBN-13: 9780132288064. Publisher: Prentice Hall ...
www.pearsonhighered.com/ educator/ academic/ product/ 0,3110,0132288060,00.html
coursesmart - 9780135135662 - Automata, Computability and ...
9780135135662 - Automata, Computability and Complexity: Theory and Applications - Combining classic theory with unique applications, this crisp narrative is ...
Automata, Computability and Complexity: Theory & Applications
Automata, Computability, and Complexity: Theory and Applications by Elaine Rich. Section Chapter Link Information for students · Information for instructors ...
www.cs.utexas.edu/ ~ear/ cs341/ automatabook/
Bookpool: Automata Computability and Complexity,Theory and ...
Automata Computability and Complexity,Theory and Applications. View Larger Image · Elaine Rich Prentice Hall, Hardcover, Published September 2007, ...
www.bookpool.com/ sm/ 0132288060
Automata, Computability and Complexity : Theory and Applications
textbooksrus.com Save 50-90% off New & Used Books and Textbooks. Absolute lowest prices! Free Shipping. Fast Delivery
www.textbooksrus.com/ search/ bookdetail/ ?isbn=9780132288064
Barnes & Noble.com - Books: Automata, Computability and Complexity ...
Automata, Computability and Complexity: Theory and Applications, Rich, Elaine A. Rich, Hardcover, 1, Book, ISBN: 0132288060, Barnes & Noble.com.
search.barnesandnoble.com/ Automata-Computability-and-Complexity/ Elaine-A-Rich/ e/ 9780132288064
Libro - Elaine Rich - Automata, Computability and Complexity ...
Titolo: Automata, Computability and Complexity: Theory and Applications; Autore: Elaine Rich; Editore: Pearson Prentice Hall; Data di Pubblicazione: Agosto ...
【楽天市場】Automata, Computability and Complexity: Theory and ...
Automata, Computability and Complexity: Theory and Applications（Automata, Computability ... Automata, Computability and Complexity: Theory and Applications ...
item.rakuten.co.jp/ book/ 4948632/
Algoritam Multimedia Bookshop
AUTOMATA, COMPUTABILITY AND COMPLEXITY: THEORY AND APPLICATIONS. ve a slika. autor: Elaine Rich izdavař: Prentice Hall barcode: 9780132288064 godina: 2007 ...
Automata, Computability and Complexity: Theory and Applications. Por Rich, Elaine A., ,. Precio: 112 USD Pasta Dura - 1120 Páginas (Agosto 2007) ...
www.librisite.com/ libroimpreso/ esp/ sist/ index.php?tipo=detalle&