| 000 | 01301nam a2200301 a 4500 | ||
|---|---|---|---|
| 001 | 000013707 | ||
| 005 | 20160221095317.0 | ||
| 008 | 110217s2007 sp a grn 000 0 spa d | ||
| 942 | _c | ||
| 020 | _a9788448156374 (pasta blanda) | ||
| 040 | _aCO-BrUAC | ||
| 041 | 0 | _aspa | |
| 082 | 0 | 4 |
_a511.3 _bA388 _221 ed. |
| 100 | 1 | _aAlfonseca Cubero, Enrique | |
| 245 | 1 | 0 |
_aTeoría de autómatas y lenguajes formales / _cEnrique Alfonseca Cubero. |
| 260 |
_aMadrid : _bMcGraw-Hill, _c2007. |
||
| 300 | _a400 p. | ||
| 504 | _aIncluye referencias bibliográficas, índices, etc. | ||
| 505 | 0 | _aCap. 1. Máquinas, lenguajes y problemas -- 2. Máquinas de Turing -- 3. Autómatas finitos -- 4. Autómatas a pila -- 5. Gramáticas -- 6. Gramáticas y máquinas -- 7. Lenguajes regulares -- 8. Lenguajes independientes del contexto -- 9. Computabilidad y complejidad -- 10. Otras máquinas y gramáticas -- 11. Sistemas avanzados de cómputo -- A. Conceptos matemáticos utilizados | |
| 544 | 1 | _aDisponible en la Colección General. | |
| 630 | 0 | 4 | _aLenguajes Formales |
| 650 | 1 | 4 | _aSistemas de Control Automático |
| 650 | 1 | 4 | _aMáquinas de Turing |
| 650 | 1 | 4 | _aLógica Matemática |
| 650 | 1 | 4 | _aLenguaje de Programación |
| 700 | 1 | _aAlfonseca Moreno, Manuel | |
| 700 | 1 | _aMoriyon Salomon, Roberto | |
| 999 |
_c13632 _d13632 |
||