Información General

• Autores: Manuel Alfonseca Moreno , Justo Sancho Rodríguez , Miguel Martínez Orga
• Editores: Madrid : Universidad y Cultura, D.L. 1987
• Año de publicación: 1987
• País: España
• Idioma: español
• ISBN: 84-86367-38-7
• Texto completo no disponible (Saber más ...)

Otros catálogos

• Red de Bibliotecas Universitarias (REBIUN)

Índice

• 1 Máquinas, lenguajes y algoritmos 13-19
   1.1 Máquinas abstractas y algoritmos 13-14
   1.2 Autómatas y máquinas secuenciales 14-16
  1.3 Lenguajes y gramáticas 16-17
  1.4 Máquinas abstractas y lenguajes formales 17-19
  1.5 Desarrollo del libro 19
  2 Lenguajes formales 20-39
   2.1 Alfabeto 20
   2.2 Palabra 20-22
   2.3 Operaciones con palabras 22-25
   2.4 Lenguajes 25-26
   2.5 Operaciones con lenguajes 26-30
   2.6 Contexto válido 30-31
   2.7 Producciones 31-36
   2.8 Lenguajes formales 36-39
  3 Gramáticas formales 40-72
   3.1 Concepto básico de gramática 40-47
   3.2 Concepto de gramática formal 47-51
   3.3 Tipos de gramáticas 50-60
   3.4 Árboles de derivación 60-65
   3.5 Relaciones definidas sobre las gramáticas 65-72
  4 Máquinas secuenciales 73-109
   4.1 Definición de máquina secuencial 73-75
   4.2 Representación condensada de una máquina secuencial 75-78
   4.3 Ejemplo de aplicación 78-81
   4.4 Extensión a palabras de la entrada y la salida 81-84
   4.5 Equivalencia 84-95
   4.6 Isomorfismo de máquinas secuenciales 95-96
   4.7 Minimización de máquinas secuenciales 96-100
   4.8 Máquina secuencial generalizada 100-102
   4.9 Síntesis de máquina secuencial 102-109
  5 Autómatas finitos 110-138
   5.1 Autómatas finitos deterministas 110
   5.2 Representación de los autómatas finitos deterministas 110-112
   5.3 El autómata finito determinista como reconocedor de un lenguaje 112-114
   5.4 Estados accesibles 114-116
   5.5 Equivalencias y minimización de autómatas finitos deterministas 116-121
   5.6 Algunos teoremas sobre autómatas finitos deterministas 121-122
   5.7 Autómata asociado a una gramática de tipo 3 122-124 5.8 Autómatas finitos no deterministas 124-132
   5.9 Autómatas bidireccionales 132-138
  6 Autómatas probabilísticos, células de McCulloch-Pitts 139-158
   6.1 Autómatas probabilísticos 139-145
   6.2 Células de McCulloch-Pitts 145-158
  7 Expresiones regulares 157-181
   7.1 Definición 157-159
   7.2 Equivalencia de expresiones regulares 159-162
   7.3 Teorema de análisis y síntesis de Kleene 162-181
  8 Propiedades de los conjuntos regulares 182-201
   8.1 Relaciones de equivalencia entre palabras 182-183
   8.2 Primer teorema de Myhill–Nerode 183-188
   8.3 Autómatas bidireccionales y conjuntos regulares 188-189
  8.4 Segundo teorema de Myhill–Nerode 189-192
   8.5 Lema de bombeo de los conjuntos regulares 192-194
   8.6 Propiedades de cierre de conjuntos regulares 194-196
   8.7 Sustituciones y homomorfismos 196-198
   8.8 Cociente de lenguajes 198-199
   8.9 Algoritmos de decisión 199-201
  9 Gramáticas independientes del contexto 202-220
   9.1 Equivalencia y ambigüedad de gramáticas 202-203
   9.2 Lenguaje generado por una gramática tipo 2 203-205
   9.3 Gramáticas bien formadas 205-211
   9.4 Forma normal de Chomsky 211-214
   9.5 Forma normal de Greibach 214-220
  10 Autómatas a pila 221-231
   10.1 Definición formal 222-224
   10.2 Lenguaje aceptado de autómata a pila 224-227
   10.3 Autómatas a pila y lenguajes independientes de contexto 227-231
  11 Propiedades de los lenguajes independientes del contexto 232-241
   11.1 Lema de bombeo 232-236
   11.2 Propiedades de cierre 236-238
   11.3 Sustituciones y homomorfismos 238-241
  12 Máquinas de Turing 242-282
   12.1 Definición y funcionamiento 242-250
   12.2 Restricciones a la máquina de Turing 250-260
   12.3 Máquina de Turing universal 260-282
  13 Máquinas de Turing y lenguajes 283-300
   13.1 Descripción instantánea de una máquina de Turing 283-290
   13.2 Lenguaje reconocido por una máquina de Turing 290-296
   13.3 Máquina de Turing no determinista 296-298
   13.4 Máquina de Turing reconocedora de lenguaje 298-300
  14 Lenguajes sensibles al contexto y autómatas lineales acotados 301-304
   14.1 Propiedades de las gramáticas tipo 1 de Chomsky 301-304
   14.2 Autómatas lineales acotados 304
  15 Funciones recursivas 305-321
   15.1 Recursión 305-309
   15.2 Funciones recursivas primitivas 309-318
   15.3 Funciones mu-recursivas 318-320
   15.4 Funciones recursivas y máquinas de Turing 320-321