| 000 | 01873nam a22002537a 4500 | ||
|---|---|---|---|
| 003 | DO-CoUTE | ||
| 005 | 20230529100016.0 | ||
| 008 | 230524b dr ||||| |||| 00| 0 spa d | ||
| 020 | _a978-987-1609-81-9 | ||
| 040 |
_aDO-CoUTE _bspa _cDO-CoUTE |
||
| 082 |
_222 _a629.892 G526l 2015 |
||
| 100 | 1 |
_aGiro, Juan Francisco _eautor |
|
| 245 | 1 | 0 |
_aLenguaje formales y teoría de autómatas / _cJuan Francisco Giro, Juan Vásquez, Brenda Meloni, Leticia Constable |
| 250 | _aPrimera edición | ||
| 260 |
_aMéxico : _bAlfaomega, _c2015 |
||
| 300 |
_a480 páginas : _bIlustraciones ; _c23x17cm. |
||
| 504 | _aIncluye referencia bibliográfica e índice | ||
| 520 | _aINTRODUCCION A LA TEORIA DE LA COMPUTACION. Maquinas abstractas y gramáticas formales; Características y formalismos de las maquinas abstractas; Automatismos y autómatas. GRAMATICAS Y LENGUAJES FORMALES. Introducción a los lenguajes; Lingüísticas matemática; Gramáticas formales. MAQUINAS SECUENCIALES Y AUTOMATAS FINITOS DETERMINISTAS. Conceptos generales; Maquinas secuenciales; Autómatas finitos deterministas (AFD). AUTOMATAS FINITOS NO DETERMINISTAS. No deterministas y autómatas; Autómatas finitos no deterministas (AFDN); Transiciones lambda. AUTOMATAS CON PILA. Introducción; Autómatas con pilas deterministas y no deterministas; Autómatas con pila asociados a una gramática. AUTOMATA LINEALMENTE ACOTADO Y MAQUINA DE TURING. Aspectos generales; Autómata linealmente acotado y máquina de turing; Definiciones referidas al ALA y MT. SIMULADORES DE MAQUINAS ABSTRACTAS. Introducción; Simulación y otros conceptos relacionados; Especificación de requerimientos de un SMA. INTRODUCCION A LA SEMANTICA DE LENGUAJES. | ||
| 650 | 4 | _aSistema de teoría de autómata | |
| 700 | 1 | _aVásquez Juan | |
| 700 | 1 | _aMeloni, Brenda | |
| 700 | 1 | _aConstable, Leticia | |
| 942 |
_2ddc _cBK |
||
| 999 |
_c22620 _d22620 |
||