01675nam a2200313   450000500170000000600190001700800410003602000180007704000130009504100080010808200200011610000250013624500870016125000190024826400530026730000600032033600270038033700330040733800280044050000320046850400280050052006820052865000160121065000190122665000300124565000330127565000280130870000250133620260727094920.0a|||||r|||| 00| 0 260727b        |||||||| |||| 00| 0 spa d  a9780132288064  aCO-ViULL  heng04223a005.1bR4981 aRich, Elaineeautor,10aAutomata, computability, and complexity :btheory and applications /cElaine Rich.  a1ª edición. 1aEstados Unidos:bPearson - Prentice Hall,c2008.  a1099 páginas :bfiguras y tablas ;c24 centímetros.  2rdacontentatextobtxt  2rdamediaasin mediaciónbn  2rdacarrieravolumenbnc  aIncluye tabla de contenido.  aIncluye bibliografía.  aThe 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. 0aAutómatas 0aComputabilidad 0aComplejidad computacional 0aTeoría de la computación 0aInformática teórica1 aRich, Elaine,eautor