Libros y Solucionarios Más Descargados
Inicio » Ingeniería » Ingenieria Sistemas » Teoría de Autómatas y Lenguajes Formales | Dean Kelley

Teoría de Autómatas y Lenguajes Formales | Dean Kelley

Teoría de Autómatas y Lenguajes Formales | Dean Kelley Gratis en PDF

Teoría de Autómatas y Lenguajes Formales  Dean Kelley

Teoría de Autómatas y Lenguajes Formales Dean Kelley

Teoría de Autómatas y Lenguajes Formales | Dean Kelley este libro es el resultado de las anotaciones tomadas en el curso de introducción a la teoría de la computación, impartido en la universidad Gustavus Adolfus. Dicho curso abarca los temas de lenguajes formales y autómatas, máquinas de Turing y computabilidad a través de la resolubilidad. El curso va dirigido a estudiantes de segundo año de Ciencias de la Computación y hasta ahora este curso tenía como principal prerrequisito el haber seguido con anterioridad un curso sobre lectura y tratamiento de las demostraciones matemáticas.

el libro está dirigido a estudiantes con los conocimientos matemáticos mínimos. El Capitulo 0 trata de los preliminares matemáticos necesarios para poder abordar la lectura del libro en su totalidad.

el nivel de conocimientos matemáticos en los capítulos siguientes es inicialemente bajo, pero se eleva a medida que los temas lo requieren y la capacidad del estudiante se incrementa. Trataré de evitar las demostraciones matemáticas rigurosas en la medida de lo posible, en especial en los primeros capítulos. Por tanto, se evitará dar muchos detalles de las demostraciones que sean tediosas. Por otro lado, trataré de presentar teoremas y definiciones de la forma más precisa posible. La mayoría de mis razonamientos tienen la intención de motivar mas que la de ser matemáticamente completos o elegantes.

Tabla de Contenido

Prologo

0. Preliminares matemáticos
0.1. Lógica elemental
0.2. Definiciones básicas
0.3. Definiciones con conjuntos
0.4. Relaciones y funciones
0.5. Inducción
0.6. Cardinalidad

1. Alfabetos y lenguajes
1.1. Alfabetos, palabras y lenguajes
1.2. Operaciones con cadenas
1.3. Operaciones con lenguajes
Problemas

2. Lenguajes regulares
2.1. Lenguaje sobre alfabetos
2.2. Lenguajes regulares y expresiones regulares
2.3. Autómata finito determinista
2.4. AFD y lenguajes
2.5. Autómata finito no determinista
2.6. Equivalencia de AFN y AFD
2.7. E-transiciones
2.8. Autómata finito y expresiones regulares
2.9. Propiedades de los lenguajes regulares
2.10. Aplicaciones de las expresiones regulares y los autómatas finitos
Problemas

3. Lenguajes independientes del contexto
3.1. Gramáticas regulares
3.2. Gramáticas regulares y lenguajes regulares
3.3. Gramáticas independientes del contexto
3.4. Árboles de derivaron o de análisis y ambigüedad
3.5. Simplificación de gramáticas independientes del contexto
3.6. Propiedades de los lenguajes independientes del contexto
3.7. Autómata de pila
3.8. Autómata de pila y lenguajes independientes del contexto
3.9. Forma normal de Greibach
Problemas

4. Máquinas de Turing
4.1. Definiciones básicas
4.2. Máquinas de Turing como aceptadoras de lenguajes
4.3. Construcción de las máquinas de Turing
4.4. Modificadoras de las máquinas de Turing
4.5. Máquinas de Turing universales
Problemas

5. Máquinas de Turing y lenguajes
5.1. Lenguajes aceptados por máquinas de Turing
5.2. Lenguajes regulares, independientes del contexto, recursivos y recursivamente enumerables
5.3. Lenguajes recursivos y recursivamente enumerables
5.4. Gramáticas no restringidas y lenguajes recursivamente enumerables
5.5. Lenguajes sensibles al contexto y la jerarquía de Chomsky
Problemas

6. Resolubilidad
6.1. El problema de parada
6.2. El problema de correspondencia de Post
6.3. Irresolubilidad y lenguajes independientes del contexto
Problemas

7. Introducción a la complejidad computacional
7.1. Complejidad espacial
7.2. Complejidad temporal
7.3. Introducción a la teoría de la complejidad

Problemas

Referencias y bibliografía

Índice analítico

Título: Teoría de Autómatas y Lenguajes Formales
Autor/es: Dean Kelley
Edición: 1ra Edición
Tipo: Libro
Idioma: Español
Formato: PDF

LINKS DE DESCARGA:
Comparte Nuestros Libros!
Facebook
Twitter
Google +
Youtube
Correo
Teoría de Autómatas y Lenguajes Formales | Dean Kelley Gratis en PDF Teoría de Autómatas y Lenguajes Formales | Dean Kelley este libro es el resultado de las anotaciones tomadas en el curso de introducción a la teoría de la computación, impartido en la universidad Gustavus Adolfus. Dicho curso abarca los temas de lenguajes formales y autómatas, máquinas de Turing y computabilidad a través de la resolubilidad. El curso va dirigido a estudiantes de segundo año de Ciencias de la Computación y hasta ahora este curso tenía como principal…

Review Overview

0%

User Rating: Be the first one !
0

Deja un Comentario

Tu dirección de email no será publicada.