Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword or section
Like this
2Activity

Table Of Contents

Introducción a los autómatas
1.1 ¿Por qué estudiar la teoría de autómatas?
1.1.1 Introducción a los autómatas finitos
1.1.2 Representaciones estructurales
1.1.3 Autómatas y complejidad
1.2 Introducción a las demostraciones formales
1.2.1 Demostraciones deductivas
1.2.2 Reducción a definiciones
1.2.3 Otras formas de teoremas
1.2.4 Teoremas que parecen no ser proposiciones Si-entonces
1.3 Otras formas de demostración
1.3.1 Demostración de equivalencias entre conjuntos
1.3.2 La conversión contradictoria
1.3.3 Demostración por reducción al absurdo
1.3.4 Contraejemplos
1.4 Demostraciones inductivas
1.4.1 Inducciones sobre números enteros
1.4.2 Formas más generales de inducción sobre enteros
1.4.3 Inducciones estructurales
1.4.4 Inducciones mutuas
1.5 Conceptos fundamentales de la teoría de autómatas
1.5.1 Alfabetos
1.5.2 Cadenas de caracteres
1.5.3 Lenguajes
1.5.4 Problemas
1.6 Resumen del Capítulo 1
1.7 Referencias del Capítulo 1
Autómatas finitos
2.1 Descripción informal de autómata finito
2.2.3 Notaciones más simples para los AFD
2.2.4 Extensión a cadenas de la función de transición
2.2.5 El lenguaje de un AFD
2.2.6 Ejercicios de la Sección 2.2
2.3 Autómatas finitos no deterministas
2.3.1 Punto de vista informal de los autómatas finitos no deterministas
2.3.2 Definición de autómata finito no determinista
2.3.3 Función de transición extendida
2.3.4 El lenguaje de un AFN
2.3.5 Equivalencia de autómatas finitos deterministas y no deterministas
2.3.6 Un caso desfavorable para la construcción de subconjuntos
2.3.7 Ejercicios de la Sección 2.3
2.4 Aplicación: búsqueda de texto
2.4.1 Búsqueda de cadenas en un texto
2.4.2 Autómatas finitos no deterministas para búsqueda de texto
2.4.3 Un AFD para reconocer un conjunto de palabras clave
2.4.4 Ejercicios de la Sección 2.4
2.5 Autómatas finitos con transiciones-ε
2.5.1 Usos de las transiciones-ε
2.5.2 Notación formal para un AFN-ε
2.5.3 Clausuras respecto de epsilon
2.5.4 Transiciones y lenguajes extendidos para los AFN-ε
2.5.5 Eliminación de las transiciones-ε
2.5.6 Ejercicios de la Sección 2.5
2.6 Resumen del Capítulo 2
2.7 Referencias del Capítulo 2
Lenguajes y expresiones regulares
3.1 Expresiones regulares
3.1.1 Operadores de las expresiones regulares
3.1.2 Construcción de expresiones regulares
3.1.3 Precedencia de los operadores en las expresiones regulares
3.1.4 Ejercicios de la Sección 3.1
3.2 Autómatas finitos y expresiones regulares
3.2.1 De los AFD a las expresiones regulares
3.2.3 Conversión de expresiones regulares en autómatas
3.2.4 Ejercicios de la Sección 3.2
3.3 Aplicaciones de las expresiones regulares
3.3.1 Expresiones regulares en UNIX
3.3.2 Análisis léxico
3.3.3 Búsqueda de patrones en textos
3.3.4 Ejercicios de la Sección 3.3
3.4 Álgebra de las expresiones regulares
3.4.1 Asociatividad y conmutatividad
3.4.2 Elemento identidad y elemento nulo
3.4.3 Leyes distributivas
3.4.4 Ley de idempotencia
3.4.5 Leyes relativas a las clausuras
3.4.6 Descubrimiento de propiedades de las expresiones regulares
3.4.8 Ejercicios de la Sección 3.4
3.5 Resumen del Capítulo 3
3.6 Referencias del Capítulo 3
Propiedades de los lenguajes regulares
4.1 Cómo demostrar que un lenguaje no es regular
4.1.1 El lema de bombeo para los lenguajes regulares
4.1.2 Aplicaciones del lema de bombeo
4.1.3 Ejercicios de la Sección 4.1
4.2 Propiedades de clausura de los lenguajes regulares
4.2.1 Clausura de lenguajes regulares para las operaciones booleanas
4.2.2 Reflexión
4.2.3 Homomorfismo
4.2.4 Homomorfismo inverso
4.2.5 Ejercicios de la Sección 4.2
4.3 Propiedades de decisión de los lenguajes regulares
4.3.1 Conversión entre representaciones
4.3.2 Cómo comprobar la pertenencia a un lenguaje regular
4.3.3 Ejercicios de la Sección 4.3
4.4 Equivalencia y minimización de autómatas
4.4.1 Cómo comprobar la equivalencia de estados
4.4.2 Cómo comprobar la equivalencia de lenguajes regulares
4.4.3 Minimización de un AFD
4.4.4 ¿Por qué el AFD minimizado no se puede reducir aún más
4.4.5 Ejercicios de la Sección 4.4
4.5 Resumen del Capítulo 4
4.6 Referencias del Capítulo 4
Lenguajes y gramáticas independientes del contexto
5.1 Gramáticas independientes del contexto
5.1.1 Un ejemplo informal
5.1.2 Definición de las gramáticas independientes del contexto
5.1.3 Derivaciones utilizando una gramática
5.1.4 Derivaciones izquierda y derecha
5.1.5 Lenguaje de una gramática
5.1.6 Formas sentenciales
5.1.7 Ejercicios de la Sección 5.1
5.2 Árboles de derivación
5.2.1 Construcción de los árboles de derivación
5.2.2 Resultado de un árbol de derivación
5.2.3 Inferencia, derivaciones y árboles de derivación
5.2.4 De las inferencias a los árboles
5.2.5 De los árboles a las derivaciones
5.2.6 De las derivaciones a las inferencias recursivas
5.2.7 Ejercicios de la Sección 5.2
5.3 Aplicaciones de las gramáticas independientes del contexto
5.3.1 Analizadores sintácticos
5.3.2 El generador de analizadores YACC
5.3.3 Lenguajes de marcado
5.3.4 XML y las DTD
5.3.5 Ejercicios de la Sección 5.3
5.4 Ambigüedad en gramáticas y lenguajes
5.4.1 Gramáticas ambiguas
5.4.2 Eliminación de la ambigüedad de las gramáticas
5.4.4 Ambigüedad inherente
5.4.5 Ejercicios de la Sección 5.4
5.5 Resumen del Capítulo 5
5.6 Referencias del Capítulo 5
Autómatas a pila
6.1 Definición de autómata a pila
6.1.1 Introducción informal
6.1.2 Definición formal de autómata a pila
6.1.3 Notación gráfica para los autómatas a pila
6.1.4 Descripciones instantáneas de un autómata a pila
6.1.5 Ejercicios de la Sección 6.1
6.2 Lenguajes de un autómata a pila
6.2.1 Aceptación por estado final
6.2.2 Aceptación por pila vacía
6.2.3 De pila vacía a estado final
6.2.4 Del estado final a la pila vacía
6.2.5 Ejercicios de la Sección 6.2
6.3.1 De las gramáticas a los autómatas a pila
6.3.2 De los autómatas a pila a las gramáticas
6.3.3 Ejercicios de la Sección 6.3
6.4 Autómata a pila determinista
6.4.1 Definición de autómata a pila determinista
6.4.2 Lenguajes regulares y autómatas a pila deterministas
6.4.4 Autómatas a pila deterministas y gramáticas ambiguas
6.4.5 Ejercicios de la Sección 6.4
6.5 Resumen del Capítulo 6
6.6 Referencias del Capítulo 6
7.1.1 Eliminación de símbolos inútiles
7.1.2 Cálculo de símbolos generadores y alcanzables
7.1.3 Eliminación de producciones-ε
7.1.4 Eliminación de las producciones unitarias
7.1.5 Forma normal de Chomsky
7.1.6 Ejercicios de la Sección 7.1
7.2.1 El tamaño de los árboles de derivación
7.2.2 Enunciado del lema de bombeo
7.2.3 Aplicaciones del lema de bombeo para los LIC
7.2.4 Ejercicios de la Sección 7.2
7.3.1 Sustituciones
7.3.2 Aplicaciones del teorema de sustitución
7.3.3 Reflexión
7.3.4 Intersección con un lenguaje regular
7.3.5 Homomorfismo inverso
7.3.6 Ejercicios de la Sección 7.3
7.4 Propiedades de decisión de los LIC
7.4.1 Complejidad de la conversión entre gramáticas GIC y autómatas a pila
7.4.2 Tiempo de ejecución de la conversión a la forma normal de Chomsky
7.4.3 Comprobación de si un LIC está vacío
7.4.4 Comprobación de la pertenencia a un LIC
7.4.5 Anticipo de los problemas indecidibles de los LIC
7.4.6 Ejercicios de la Sección 7.4
7.5 Resumen del Capítulo 7
7.6 Referencias del Capítulo 7
Introducción a las máquinas de Turing
8.1 Problemas que las computadoras no pueden resolver
8.1.1 Programas que escriben “Hola, mundo”
8.1.2 Comprobador hipotético de “hola, mundo”
8.2.4 Diagramas de transición para las máquinas de Turing
8.2.5 El lenguaje de una máquina de Turing
8.2.6 Máquinas de Turing y parada
8.2.7 Ejercicios de la Sección 8.2
8.3.1 Almacenamiento en el estado
8.3.2 Pistas múltiples
8.3.4 Ejercicios de la Sección 8.3
8.4 Extensiones de la máquina de Turing básica
8.4.1 Máquina de Turing de varias cintas
8.4.2 Equivalencia entre las MT de una sola cinta y de varias cintas
8.4.4 Máquinas de Turing no deterministas
8.4.5 Ejercicios de la Sección 8.4
8.5 Máquinas de Turing restringidas
8.5.1 Máquinas de Turing con cintas semi-infinitas
8.5.2 Máquinas con varias pilas
8.5.3 Máquinas contadoras
8.5.4 La potencia de las máquinas contadoras
8.5.5 Ejercicios de la Sección 8.5
8.6 Máquinas de Turing y computadoras
8.6.1 Simulación de una máquina de Turing mediante una computadora
Figura 8.21. Simulación de una máquina de Turing mediante una computadora común
8.6.2 Simulación de una computadora mediante un máquina de Turing
8.7 Resumen del Capítulo 8
8.8 Referencias del Capítulo 8
Indecidibilidad
9.1 Lenguaje no recursivamente enumerable
9.1.1 Enumeración de cadenas binarias
9.1.2 Códigos para las máquinas de Turing
9.1.3 El lenguaje de diagonalización
9.1.4 Demostración de que Ld no es recursivamente enumerable
9.1.5 Ejercicios de la Sección 9.1
9.2 Un problema indecidible recursivamente enumerable
9.2.1 Lenguajes recursivos
9.2.2 Complementarios de los lenguajes recursivos y RE
9.2.3 El lenguaje universal
9.2.4 Indecidibilidad del lenguaje universal
9.2.5 Ejercicios de la Sección 9.2
9.3 Problemas indecidibles para las máquinas de Turing
9.3.1 Reducciones
9.3.2 Máquinas de Turing que aceptan el lenguaje vacío
9.3.3 Teorema de Rice y propiedades de los lenguajes RE
9.3.4 Problemas sobre especificaciones de las máquinas de Turing
9.3.5 Ejercicios de la Sección 9.3
9.4 Problema de correspondencia de Post
9.4.1 Definición del problema de la correspondencia de Post
9.4.2 El PCP “modificado”
9.4.3 Finalización de la demostración de la indecibilidad del PCP
9.7 Referencias del Capítulo 9
10.1 Las clases P y NP
10.1.1 Problemas resolubles en tiempo polinómico
10.1.2 Ejemplo: algoritmo de Kruskal
10.1.3 Tiempo polinómico no determinista
10.1.4 Ejemplo de NP: el problema del viajante de comercio
10.1.5 Reducciones en tiempo polinómico
10.1.6 Problemas NP-completos
10.1.7 Ejercicios de la Sección 10.1
10.2 Un problema NP-completo
10.2.1 El problema de la satisfacibilidad
10.2.2 Representación de problemas SAT
10.2.3 El problema SAT es NP-Completo
10.2.4 Ejercicios de la Sección 10.2
10.3 Problema de la satisfacibilidad restringido
10.3.1 Formas normales de las expresiones booleanas
10.3.2 Conversión de expresiones a la FNC
10.3.3 CSAT es NP-Completo
10.3.4 3SAT es NP-completo
10.3.5 Ejercicios de la Sección 10.3
10.4 Otros problemas NP-completos
10.4.1 Descripción de problemas NP-completos
10.4.2 El problema de los conjuntos independientes
10.4.3 El problema del recubrimiento de nodos
10.4.4 El problema del circuito hamiltoniano orientado
PROBLEMA. Problema del circuito hamiltoniano orientado(PCHO)
El problema del circuito hamiltoniano orientado es NP-completo
10.6 Referencias del Capítulo 10
11.1 Complementarios de los lenguajes de NP
11.1.1 La clase de lenguajes co-NP
11.1.2 Problemas NP-completos y Co-NP
11.1.3 Ejercicios de la Sección 11.1
11.2 Problemas resolubles en espacio polinómico
11.2.1 Máquinas de Turing con espacio polinómico
11.2.2 Relaciones de PS y NPS con las clases definidas anteriormente
11.2.3 Espacio polinómico determinista y no determinista
11.3 Un problema que es completo para PS
11.3.1 Problemas PS-completos
11.3.2 Fórmulas booleanas con cuantificadores
11.3.3 Evaluación de fórmulas booleanas con cuantificadores
11.3.4 El problema FBC es PS-completo
11.3.5 Ejercicios de la Sección 11.3
11.4 Clases de lenguajes basadas en la aleatorización
11.4.1 Quicksort: ejemplo de un algoritmo con aleatoriedad
11.4.2 Modelo de la máquina de Turing con aleatoriedad
11.4.3 El lenguaje de una máquina de Turing con aleatoriedad
11.4.5 Reconocimiento de los lenguajes de RP
11.4.6 La clase ZPP
11.4.7 Relaciones entre RP y ZPP
11.4.8 Relaciones de las clases P y NP
11.5 La complejidad de la prueba de primalidad
11.5.1 La importancia de la prueba de primalidad
11.5.2 Introducción a la aritmética modular
11.5.3 Complejidad de los cálculos en aritmética modular
11.5.4 Prueba de primalidad aleatorio-polinómica
11.5.5 Pruebas de primalidad no deterministas
11.5.6 Ejercicios de la Sección 11.5
11.6 Resumen del Capítulo 11
11.7 Referencias del Capítulo 11
Índice
0 of .
Results for:
No results containing your search query
P. 1
TeoriaDeAutomatas,lenguajesYComputacion-Hopcroft

TeoriaDeAutomatas,lenguajesYComputacion-Hopcroft

Ratings: (0)|Views: 4 |Likes:
Published by Faby Zamorano Lopez

More info:

Published by: Faby Zamorano Lopez on Jan 30, 2014
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

05/17/2014

pdf

text

original

You're Reading a Free Preview
Pages 10 to 49 are not shown in this preview.
You're Reading a Free Preview
Pages 59 to 283 are not shown in this preview.
You're Reading a Free Preview
Pages 293 to 359 are not shown in this preview.
You're Reading a Free Preview
Pages 369 to 406 are not shown in this preview.
You're Reading a Free Preview
Pages 416 to 458 are not shown in this preview.

Activity (2)

You've already reviewed this. Edit your review.
1 thousand reads
1 hundred reads

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->