Isasi Viñuela, Pedro <br/><br/>
Lenguajes, gramáticas y autómatas :   un enfoque práctico /  
Pedro Isasi Viñuela, Paloma Martínez Fernández, Daniel Borrajo Millán. 
 - Madrid:  Addison-Wesley,  1997 
 - 376 p. 
<br/><br/>CONTENIDO<br/>1 Introducción 1<br/>1.1 Lenguajes, Gramáticas y Autómatas 1<br/>1.2 Estructura del libro 5<br/>1.3 Notaciones 6<br/>2 Lenguajes y Gramáticas Formales 7<br/>2.1 Lenguajes 7<br/>2.1.1 Definiciones básicas 7<br/>2.1.2 Operaciones con palabras 8<br/>2.1.3 Operaciones con lenguajes 9<br/>2.1.4 Otras definiciones 11<br/>2.2 Gramáticas formales 13<br/>2.2.1 Definiciones 13<br/>2.2.2 Tipos de Gramáticas 16<br/>2.2.3 Árboles de derivación 19<br/>2.2.4 Ambiguedad 20<br/>2.2.5 Recursividad 21<br/>2.2.6 Factorización a izquierdas 25<br/>Ejercicios 27<br/>3 Gramáticas Regulares y Autómatas Finitos 43<br/>3.1 Gramáticas regulares 43<br/>3.2 Máquinas Secuenciales 46<br/>3.2.1 Definición 46<br/>3.2.2 Representación 49<br/>3.2.3 Extensión a palabras de la entrada y salida 51<br/>3.2.4 Equivalencia de Máquinas Secuenciales 55<br/>3.2.5 Equivalencia de Máquina de Mealy y Máquina de Moore 61<br/>3.3 Autómatas Finitos Deterministas (AFD) 63<br/>3.3.1 Definición 63<br/>3.3.2 Representación de un AFD 65<br/>3.3.3 Conceptos relativos a AFDs 66<br/>3.3.4 Equivalencia de AFD 68<br/>3.4 Autómatas Finitos No Deterministas (AFND) 75<br/>3.4.1 Definición 75<br/>3.4.2 Representación 76<br/>3.4.3 Conceptos asociados a AFNDs 77<br/>3.4.4 Autómata Finito asociado a una G3 81<br/>3.5 Expresiones regulares (ER) 83<br/>3.5.1 Definiciones 83<br/>3.5.2 Teoremas de Kleene 85<br/>3.6 Autómatas de Células de McCulloch-Pitts 97<br/>3.6.1 Definición 97<br/>3.6.2 Representación 98<br/>3.6.3 Construcción de un AF equivalente 101<br/>3.6.4 Construcción de un Autómata de Células equivalente a un AF 106<br/>3.7 Autómatas probabilísticos 107<br/>3.7.1 Definición 108<br/>3.7.2 Matrices de probabilidad de transición 108<br/>3.7.3 Vectores de estados 109<br/>3.7.4 Lenguaje aceptado por un AFP 111<br/>3.7.5 AF como AFP 113<br/>Ejercicios 115<br/>4 Gramáticas Independientes del Contexto y Autómatas a Pila 237<br/>4.1 Gramáticas Independientes del Contexto 237<br/>4.1.1 Definiciones 237<br/>4.1.2 Forma Normal de Chomsky (FNC) 242<br/>4.1.3 Forma Normal de Greibach (FNG) 246<br/>4.2 Autómatas a Pila (AP) 248<br/>4.2.1 Definición 248<br/>4.2.2 Movimientos 251<br/>4.2.3 Descripción instantánea 254<br/>4.2.4 Autómatas a Pila Deterministas 255<br/>4.2.5 Lenguaje aceptado por un AP 256<br/>4.2.6 Autómatas a Pila y Gramáticas de tipo 2 257<br/>Ejercicios 263<br/>5 Gramáticas y autómatas generales 321<br/>5.1 Máquinas de Turing 321<br/>5.1.1 Definición 321<br/>5.1.2 Movimiento 323<br/>5.1.3 Lenguaje reconocido por una Máquina de Turing 326<br/>5.1.4 Variantes de las Máquinas de Turing 326<br/>5.1.5 Máquina de Turing Universal (MTU) 327<br/>5.1.6 Máquinas de Turing y computación 329<br/>5.2 Autómatas Linealmente Acotados 330<br/>Ejercicios 331<br/>6 Aplicaciones 343<br/>6.1 Construcción de compiladores 343<br/>6.1.1 Analizador Léxico 346<br/>6.1.2 Analizador Sintáctico 351<br/>6.2 Análisis del lenguaje natural 357<br/>6.3 Aplicaciones de Control 368<br/>6.4 Más aplicaciones 372 
<br/><br/><label>ISBN: </label>8478290141 
<br/><br/><label>Subjects--Topical Terms: </label><br/>LINGUISTICA COMPUTACIONAL<br/>GRAMATICAS FORMALES<br/>LENGUAJE COMPUTACIONAL<br/>GRAMATICAS REGULARES<br/>AUTOMATAS FINITOS<br/>MAQUINAS SECUENCIALES<br/>AUTOMATAS FINITOS DETERMINISTAS<br/>AUTOMATAS FINITOS NO DETERMINISTAS<br/>TEOREMAS DE KLEENE<br/>AUTOMATAS CELULARES<br/>AUTOMATAS A PILA<br/>MAQUINAS DE TURING<br/>COMPILADORES-CONSTRUCCION<br/>ANALISIS LENGUAJE NATURAL<br/>ANALIZADOR LEXICO<br/>ANALIZADOR SINTACTICO
<br/><br/><label>Universal Decimal Class. No.: </label>004.85 IS1