| 000 | 01321nam a22003377a 4500 | ||
|---|---|---|---|
| 999 |
_c16510 _d16510 |
||
| 001 | 166 | ||
| 003 | EC-UPSE | ||
| 005 | 20200818103902.0 | ||
| 006 | a||||g ||i| 00| 0 | ||
| 008 | 170712s ec ||||| |||| 00| 0 spa d | ||
| 020 | _a9788478290888 | ||
| 040 | _aUPSE | ||
| 041 | 0 | _aspa | |
| 082 | 0 | 4 |
_a006.3 _bHOPt |
| 100 | 1 |
_aHopcroft, John E., _eautor _94817 |
|
| 245 | 1 | 0 | _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 | _a452 páginas | ||
| 336 |
_2rdacontent _atext _btxt |
||
| 337 |
_2rdamedia _ano mediado _bn |
||
| 338 |
_2rdacarrier _avolumen _bnc |
||
| 500 | _aIncluye figuras | ||
| 505 | 0 | _aIntroducción a los autómatas finitos.-- Introducción a las demostraciones formales.-- Demostración deductiva.--Demostración de equivalencias entre conjuntos.-- Demostración por reducción al absurdo.-- Demostraciones inductivas.-- Formas más generales de inducción sobre enteros.-- Conceptos fundamentales de la teoría de autómatas.-- Descripción informal de autómata finito | |
| 650 | 1 | 4 |
_aINFORMATICA _912720 |
| 650 | 2 | 4 |
_aBASES DE DATOS _911842 |
| 690 | _aA5 | ||
| 700 | 1 |
_aMotwani, Rajeev, _eautor _96794 |
|
| 700 | 1 |
_aUllman, Jeffrey D., _eautor _910768 |
|
| 942 |
_2ddc _c1 |
||