| 000 | 02522cam a2200445 i 4500 | ||
|---|---|---|---|
| 999 |
_c3214 _d3214 |
||
| 001 | 3292 | ||
| 005 | 20211011141253.0 | ||
| 008 | 190513t2004 mx a gr 001 0 spa d | ||
| 020 | _a9789701045947 | ||
| 040 |
_aUISEK-EC _bspa _erda |
||
| 041 | 1 |
_aspa _heng |
|
| 100 | 1 |
_aMartin, John C. _92038 _eaut |
|
| 245 | 1 | 0 |
_aLenguajes formales y teoría de la computación / _cJohn C. Martin ; traducido por Jorge Luis Blanco y Correa Magallanes ; revisión técnica, Jorge Valeriano Assem, Jesús García Fernández, Abelardo Gómez Andrade |
| 250 | _aTercera edición | ||
| 264 | 1 |
_aMéxico : _bMcGraw-Hill, _ccopyright 2004. |
|
| 300 |
_axiv, 545 páginas : _bilustraciones ; _c24 cm |
||
| 336 | _atxt | ||
| 337 |
_2rdamedia _an |
||
| 338 |
_2rdacarrier _anc |
||
| 504 | _aIncluye bibliografía (páginas 529-530) e índice | ||
| 505 | 2 | _aParte I. Notación y técnicas matemáticas - Capítulo 1. Objetos matemáticos básicos - Capítulo 2. Inducción matemática y definiciones recursivas - Parte II. Lenguajes regulares y autómatas finitos - Capítulo 3. Expresiones regulares y autómatas finitos - Capítulo 4. No determinismo y el teorema de Kleene - Capítulo 5. Lenguajes regulares y no regulares - Parte III. Lenguajes de contexto libre y autómatas finitos con pila - Capítulo 6. Gramáticas de contexto libre - Capítulo 7. Autómatas con pilas - Capítulo 8. Lenguajes de contexto libre y lenguajes que no son de contexto libre - Parte IV. Máquinas de Turing y sus lenguajes - Capítulo 9. Máquinas de Turing - Capítulo 10. Lenguajes enumerables recursivamente - Parte V. Problemas insolubles y funciones computables - Capítulo 11. Problemas insolubles. - Capítulo 12. Funciones computables - Capítulo 13. Medición y clasificación de la complejidad - Capítulo 14. Problemas tratables e intratables. | |
| 526 | _aSistemas | ||
| 534 |
_tIntroduction to languages and the theory of computation _z0072322004 |
||
| 546 | _aTraducido del inglés al español | ||
| 700 | 1 |
_92040 _aBlanco y Correa Magallanes, Jorge Luis _etrl |
|
| 700 | 1 |
_92042 _aValeriano Assem, Jorge _eedt |
|
| 700 | 1 |
_92043 _aGarcía Fernández, Jesús _eedt |
|
| 700 | 1 |
_92044 _aGómez Andrade, Abelardo _eedt |
|
| 082 | 0 | 4 |
_a004 _bM379l 2004 |
| 650 | 1 | 7 |
_2lemb _986 _aComputación |
| 650 | 2 | 7 |
_920 _aMatemáticas _2lemb |
| 653 | 2 | 6 | _aLenguajes formales |
| 942 | _cBK | ||
| 901 | _a2011-09-12 11:57:08 | ||
| 902 | _a6 | ||
| 903 | _a2 | ||
| 904 | _aY | ||
| 905 | _aN | ||