| 000 | 01996nam a22003017a 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 008 | 251211b mx ||||| |||| 00| 0 spa d | ||
| 020 | _a9788478290888 | ||
| 040 |
_aITMILPAALTA _bspa _cTecNM |
||
| 041 |
_aspa _heng |
||
| 050 | 0 | 0 | _aQA262 .G66 2008 |
| 100 |
_aJohn E. Hopcroft _eAutor |
||
| 245 |
_aTeoria de Automatas Lenguajes y Computacion / _cJohn E. Hopcroft |
||
| 250 | _a2da Edición | ||
| 260 |
_bPearson Addison Wesley, _aEspaña: _c2008 |
||
| 300 |
_a440 páginas _bContiene Gráficas, tablas, figuras _c25 cm |
||
| 505 | _a1. Introducción a los autómatas 2. Autómatas finitos 3. Lenguajes y expresiones regulares 4. Propiedades de los lenguajes regulares 5. Lenguajes y gramáticas libres de contexto 6. Autómatas de pila 7. Propiedades de los lenguajes libres de contexto 8. Introducción a las máquinas de Turing 9. Irresolubilidad 10. Problemas intratables 11. Otras clases de lenguajes | ||
| 520 | _aEsta edición en español del clásico texto de Hopcroft, Motwani y Ullman es una referencia fundamental en teoría de la computación y lenguajes formales. Cubre desde conceptos introductorios y definiciones formales, hasta temas avanzados como autómatas de pila, gramáticas contextuales, máquinas de Turing, problemas indecidibles y jerarquías de complejidad. Se presta especial atención a rigor formal y demostraciones estructuradas, ideal para estudiantes y profesionales que buscan una base sólida en teoría de autómatas con aplicaciones en compiladores e informática teórica. | ||
| 526 | _aIngenieria en Sistemas Computacionales | ||
| 526 | _aIngenieria en Gestion Empresarial | ||
| 526 | _aIngeniería Bioquímica | ||
| 526 | _aIngenieria en Industrias Alimentarias | ||
| 650 | 0 |
_aTecnología de la Información y Comunicaciones _91230 |
|
| 700 | _aRajeev Motwani | ||
| 700 | _aJeffrey D. Ullman | ||
| 942 |
_2lcc _cLIB |
||
| 945 |
_a1262 _bDaniela Ramírez Marmolejo _c1262 _dDaniela Ramírez Marmolejo |
||
| 999 |
_c8884 _d8884 |
||