000 | 02122nam a22004337a 4500 | ||
---|---|---|---|
005 | 20230104160829.0 | ||
008 | 230103b |||||||| |||| 00| 0 spa d | ||
020 | _a0-13-518705-2 | ||
040 | _aULatina | ||
082 | _a629.8 / K287 /1995 | ||
100 |
_928209 _aKelley, Dean |
||
245 |
_aTeoría de autómatas lenguajes y formales / _cDean Kelley, tradución de María Luisa Díez Platas |
||
250 | _a1a. ed. | ||
260 |
_aEspaña : _bPrentice- Hall, _c1998. |
||
300 |
_a302 p. : _bil. ; _c24 cm. |
||
505 | _a1. Preliminares Matemáticos. -- | ||
505 | _a. | ||
505 | _a2. Alfabetos y Lenguajes. -- | ||
505 | _a. | ||
505 | _a3. Lenguajes Regulares. -- | ||
505 | _a. | ||
505 | _a4. Lenguajes Independientes del Contexto. -- | ||
505 | _a. | ||
505 | _a5. Máquinas de Turing. -- | ||
505 | _a. | ||
505 | _a6. Máquinas de Turing y Lenguajes. -- | ||
505 | _a. | ||
505 | _a7. Resolubilidad. -- | ||
505 | _a. | ||
505 | _a8. Introducción a la Complejidad Computacional. -- | ||
520 | _aEsta es una obra imprescindible para todo estudiante de informática. Abarca los temas de lenguajes formales y autómatas, máquinas de Turín y computabilidad a través de la decidibilidad. Su estudio necesita un nivel mínimo de conocimientos matemáticos, aunque se evitan, en lo posible, las demostraciones matemáticas demasiado desarrolladas, sin que por ello los teoremas y definiciones dejen de ser preciso. Todos los razonamientos de este libro tienen la intención de motivar al alumno, más que de ser matemáticamente completos o elegantes. En todo momento, el autor ilustra con ejercicios y problemas, de dificultad diversa, los conceptos que expone a lo largo de la obra. | ||
526 |
_aSede Central _bIngeniería _cLicenciatura en Ingeniería de Sistemas Informáticos _dSin Enfasis |
||
650 | 0 |
_aINGENIERÍA _91 |
|
650 | 0 |
_aAUTÓMATAS _916281 |
|
650 | 0 |
_aLENGUAJES FORMALES _95051 |
|
700 |
_928210 _aDíez Platas, María Luisa _etraductora |
||
942 |
_2ddc _cBK |
||
999 |
_c11989 _d11989 |