UNIVERSIDAD TECNOLOGICA DE PEREIRA

FACULTAD DE INGENIERIAS
Programa Ingeniera de Sistemas y Computacin

Asignatura Gramtica y Lenguajes Formales

Cdigo IS405

Crditos 4

Intensidad semanal 6 Horas

Requisitos IS323

Dar al estudiante toda una gran base terica sobre Ciencias de la

Justificacin Computacin, que servir de fundamento a todo el resto de materias
y conocimientos que ver y adquirir a lo largo de la carrera.

Mediante este curso, el estudiante adquirir los conocimientos

necesarios sobre la terminologa y conceptos fundamentales acerca
Objetivo general
de la Teora de Lenguajes, Gramticas, Autmatas, Lenguajes y su
relacin con la Computacin.

- Estudiar los Lenguajes desde un punto de vista formal.

- Definicin formal de los Autmatas Finitos y su relacin con

los lenguajes formales. Estudiar los diferentes tipos de
Autmatas Finitos que existen.

Objetivos - Estudiar las Gramticas desde un punto de vista formal y su

Especficos relacin con los Lenguajes y los Autmatas Finitos.

- Analizar la Mquina de Turing

- Para todos los casos anteriores, se inducir al estudiante a

que modele problemas tanto tericos como prcticos
utilizando Lenguajes, Autmatas Finito y Gramticas.

El curso se dictar con base en clases magistrales y con el apoyo de

recursos multimedia cuando ello convenga. Adems, se realizarn
prcticas en computadora para dar solidez a los temas vistos en
Metodologa clase.

Dentro del esquema de formacin integral del ser humano, el

profesor podr traer temas y ayudas que le permitan al estudiante
reconocer la historia de la ciencia y la responsabilidad de la
 UNIVERSIDAD TECNOLOGICA DE PEREIRA
FACULTAD DE INGENIERIAS
Programa Ingeniera de Sistemas y Computacin

tecnologa frente a la sociedad. Estos temas y ayudas se

presentaran a discrecionalidad del profesor

- Aprendizaje autnomo.

- Capacidad de anlisis y sntesis.

Competencias - Capacidad de aplicarlos conocimientos a la prctica.

Genricas - Resolucin de problemas.

- Trabajo individual y por parejas.

- Comunicacin oral y escrita.

Cognitivas(Saber):

- Idioma.

- Matemticas.

-Nuevas tecnologas TIC.

- Conocimientos de informtica.

- Procedimentales/Instrumentales(Saber hacer):
Competencias
- Redaccin en interpretacin de documentacin tcnica.
especficas
- Estimacin y programacin del trabajo.

- Planificacin, organizacin y estrategia.

- Actitudinales(Ser):

- Calidad.

- Toma de decisin.

- Capacidad de iniciativa y participacin.

- Clases de teora

Estrategias de - Exposiciones sobre trabajos de casos prcticos.

aprendizaje - Tutoras colectivas de teora

- Clases de prcticas
 UNIVERSIDAD TECNOLOGICA DE PEREIRA
FACULTAD DE INGENIERIAS
Programa Ingeniera de Sistemas y Computacin

- Correccin de las prcticas

- Tutoras colectivas de prcticas

- Tutoras individualizadas

Contenido de la asignatura

1. DEFINICIONES BSICAS: ALFABETOS, PALABRAS

(CADENAS) Y LENGUAJES
1.1 Introduccin, Historia.
1.2 Jerarqua de Chomsky para Lenguajes, Gramticas y
Autmatas.
1.3 Definicin de Alfabetos, operaciones entre Alfabetos.
1.4 Definicin de Palabras, operaciones con Palabras.
1.5 Definicin de Lenguajes, Operaciones con Lenguajes.
+
Unidad 1 1.6 Cerradura de Kleene (L*) y Cerradura Positiva (L ) de un
Lenguaje, Lenguaje Universal (*).
2. LENGUAJES Y EXPRESIONES REGULARES
2.1 Estructura de los Lenguajes Regulares
2.2 Expresiones Regulares.
2.3 Equivalencia entre Expresiones Regulares y Simplificacin
de Expresiones Regulares.
2.4 Lema del Bombeo para determinar si un lenguaje es Regular
o no.

3. AUTMATAS FINITOS (AF)

3.1 Autmatas Finitos Deterministas (AFD)
3.1.1 Definicin: diagrama de estados, Funcin de transicin.
Minimizacin de un AFD
3.1.2 Aplicaciones de los AFD
3.2 Autmatas Finitos No Deterministas (AFND).
3.2.1 Definicin: diagrama de estados, Relacin de Transicin
3.2.2 -Transiciones en los AFND. Algoritmo para la eliminacin
de las -Transiciones en los AFND
Unidad 2 3.2.3 Equivalencia entre AFD y AFND. Algoritmo para
transformar un AFND en un AFD
3.2.4 Aplicaciones de los AFD
3.3 Relacin entre AF, Expresiones Regulares y lenguajes
3.3.1 Algoritmo para la generacin de una Expresin Regular
que representa el conjunto de palabras que pertenecen al
lenguaje regular que reconoce un AF
3.3.2 Lema de Arden
3.3.3 Algoritmo para generar un AF a partir de una Expresin
Regular: mtodo de las derivadas
 UNIVERSIDAD TECNOLOGICA DE PEREIRA
FACULTAD DE INGENIERIAS
Programa Ingeniera de Sistemas y Computacin

4. MAQUINAS SECUENCIALES
4.1. Mquina de Mealy y Mquina de Moore
4.2. Equivalencia entre una Mquina de Moore y de Mealy
4.3. Aplicaciones de las mquinas secuenciales

5. AUTMATAS PROBABILSTICOS (1 semana)

Unidad 4 5.1 Autmatas Probabilsticos
5.2 Definicin
5.3 Vector de estado y Matriz estocstica M(a)
5.4 Accesibilidad de un estado partiendo de inicial
5.5 Lenguaje reconocido por un autmata probabilstico
5.6Aplicaciones de este tipo de autmatas

6. GRAMATICAS FORMALES
6.1 Gramticas Regulares
6.1.1 Equivalencia entre Gramticas Regulares, Lenguajes
Regulares y Expresiones Regulares
6.1.2 Algoritmo para obtener una Gramtica Regular a partir de
un AF y viceversa.
6.1.3 Algoritmo para eliminar recursividad por la izquierda en
una
Gramtica Regular

6.2 Gramticas Independientes del Contexto

6.2.1 Sistemas de produccin. rboles de Derivacin.
6.2.2 Problemas de la ambigedad que se presentan en las
Unidad 5 Gramticas Independientes del Contexto.
6.2.3 Algoritmos para eliminacin de ambigedades en las GIC:
Smbolos Intiles, Producciones Intiles, -Producciones
y Producciones Unitarias.
6.2.4 Forma Normal de Chomsky y Forma Normal de
Greinbach

6.3 Gramticas Dependientes del Contexto y Gramticas

de
Estructura de Frase

6.4 Aplicaciones de las Gramticas

7. AUTOMATAS DE PILA (AP)

7.1 Autmata de Pila Determinstico (APD)
7.1.1 Definicin formal, representacin grfica
Unidad 6 7.1.2 Lenguaje reconocido por un Autmata de Pila.
7.1.3 Construccin de un APD a partir de un Lenguaje
Independiente del Contexto
7.2 Autmata a Pila No Determinstico (APND)
 UNIVERSIDAD TECNOLOGICA DE PEREIRA
FACULTAD DE INGENIERIAS
Programa Ingeniera de Sistemas y Computacin

7.2.1 Lenguajes aceptados por un APND

7.2.2 Construccin de APND a partir de un Lenguaje
Independiente del Contexto
7.2.3 Algoritmo para generar un APND a partir de una Gramtica
Independiente del Contexto
7.3 Equivalencia entre AP y Gramticas y Lenguajes
Independientes del Contexto.
8. MQUINAS DE TURIN (MT)
8.1 Definicin y funcionamiento y representacin grfica de una
MT.
8.2 Descripcin instantnea de una M. de Turing
8.3 Lenguaje reconocido por una MT
Unidad 7 8.4 Construccin de una MT a partir de un Lenguaje de
Estructura de frase
8.5 Diseo de MT
8.5.1 Diseo con Multicinta. Construccin de una MT Multicinta a
partir del lenguaje de Estruc. de Frase
8.5.2 Diseo con dos o ms Mquinas

Referencia Bibliografa

Pedro Isasi Viuela, Paloma Martnez Fernndez, Daniel Borrajo Milln,

"Lenguajes, Gramticas y Autmatas un Enfoque Prctico", Addison-
Wesley Iberoamericana Espaa, S.A. 1997.

John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman, "Introduccin a la

Teora de Autmatas, Lenguajes y Computacin, Pearson Educacin
S.A. 2002.

Dean Kelly, "Teora de Autmatas y Lenguajes Formales", Prentice Hall,

1995.

Elisa VisoG., Introduccin a la Teora de la Computacin Autmata y

Lenguajes Formales, Universidad Autnoma de Mxico, Facultad de
Ciencias, Las Presnas de Ciencias, 2008.