000 | 01263ntdaa2200313 ab4500 | ||
---|---|---|---|
999 |
_c1474 _d1474 |
||
003 | UnInEc | ||
005 | 20180803103347.0 | ||
006 | a||||g ||i| 00| 0 | ||
008 | 140501s9999 mx ||||f |||| 00| 0 spa d | ||
020 | _a9788478290888 | ||
040 | _aCIBESPAM MFL | ||
041 | _aspa. | ||
082 |
_a511.3 _bH791 _c2007 |
||
100 | _aHopcroft, John E. | ||
245 | _aIntroducción a la teoría de autómatas lenguajes y computación. | ||
250 | _aTercera Edición | ||
260 |
_aMadrid, España _bPearson Educación _c2007 |
||
300 |
_axvi, 440 páginas; _bfig, tablas; |
||
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 independientes del contexto 6. Autómatas a pila 7. Propiedades de los lenguajes independientes del contexto 8. Introducción a las máquinas de Turing 9. Indecidibilidad 10. Problemas intratables 11. Otras clases de problemas --Índice. | ||
650 | _aTeoría de Autómatas | ||
650 | _aLenguajes Formales | ||
650 | _aLógica | ||
650 | _aMáquina Turing | ||
650 | _aIndecidibilidad | ||
700 | _aMotwani, Rajeev | ||
700 | _aUllman, Jeffrey D | ||
913 |
_aTIC _bCC _dSCSAS |
||
942 |
_2ddc _cBK |