000 | 01514nam a2200349 a 4500 | ||
---|---|---|---|
001 | 000013272 | ||
005 | 20160221095151.0 | ||
008 | 091228m20062004xxuad grn 001 0 eng d | ||
942 | _c | ||
020 | _a9780321455369 (pasta dura) | ||
020 | _a0321455363 (pasta dura) | ||
040 | _aCO-BrUAC | ||
041 | 0 | _aeng | |
082 | 0 | 4 |
_221 ed. _a629.892 _bH791a |
100 | 1 |
_aHopcroft, John E. _d1939- |
|
245 | 1 | 0 |
_aIntroductión to automata theory, languages and computation / _cJonh E. Hopcroft... [et al]. |
250 | _a3 ed. | ||
260 |
_aBoston : _bPearson, _c2006. |
||
300 |
_a535 p. : _bil., diagrs, ejemplos, etc. |
||
504 | _aIncluye referencias bibliográficas, índice, etc. | ||
505 | 0 | _aCap. 1. Automata: the methods and the madness -- 2. Finite automata -- 3. Regular expressions and languages -- 4. Properties of regular languages --5. Context-free grammars and languages -- 6. Pushdown automata -- 7. Properties of context-free languages -- 8. Introduction to turing mechines -- 9. Undecidability -- 10. Intractable problems -- 11. Additional classes of problems. | |
544 | 1 | _aDisponible en la Colección General. | |
650 | 1 | 4 |
_aRobots _xTeoría de Máquinas |
650 | 1 | 4 |
_aProgramación Lógica _xComputadores |
650 | 1 | 4 |
_aLógica Simbólica _xMatemáticas |
650 | 1 | 4 | _aSimulación por Computadores |
650 | 1 | 4 | _aLógistica Computacional |
650 | 1 | 4 | _aLenguajes Formales (Informática) |
650 | 1 | 4 | _aAutomatas Programables |
700 | 1 | _aMotwani, Rajeev | |
700 | 1 | _aUllman, Jeffrey D. | |
999 |
_c13197 _d13197 |