TY - BOOK AU - Rich,Elaine AU - Rich,Elaine TI - Automata, computability, and complexity: theory and applications SN - 9780132288064 U1 - 005.1 23 PY - 2008/// CY - Estados Unidos PB - Pearson - Prentice Hall KW - Autómatas KW - Computabilidad KW - Complejidad computacional KW - Teoría de la computación KW - Informática teórica N1 - Incluye tabla de contenido; Incluye bibliografía N2 - 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 ER -