UNIVERSIDAD MARIANO GALVEZ DE GUATEMALA

FACULTAD DE INGENIERIA EN SISTEMAS DE INFORMACION

INGENIERIA EN SISTEMAS DE INFORMACION
JORNADA DIARIA VESPERTINA

Curso: LENGUAJES FORMALES Y TEORA DE AUTMATAS Cdigo: 090263

Pre-requisitos: 090254

PRESENTACION
Este curso es un contacto importante con las nociones y conceptos del proceso computacional o proceso
algortmico. Forma las bases para los cursos de complejidad y compiladores. Incluye el estudio de tcnicas de
reconocimiento de patrones, procesos bsicos computacionales, anlisis lxico y sintctico, as como una base para
computabilidad.

OBJETIVOS GENERALES.
Proporcionar al estudiante la base cientfica para resolver problemas importantes dentro de la lgica algortmica,
fundamentales para la construccin de compiladores.

OBJETIVOS ESPECIFICOS.
Que el estudiante se introduzca en el anlisis lxico, como mtodo de solucin de problemas de renacimiento de
patrones.
Que el alumno cuente con una idea bsica de procesos computacionales.

CONTENIDO PROGRAMTICO DEL CURSO

1. Unidad Lenguaje
1.1 Definicin de lenguaje, orientada a la formalidad, operaciones con lenguajes.
1.2 Conceptos bsicos orientados a la teora de compiladores.
1.3 Terminologa asociada a la definicin conceptual de lenguaje.
1.4 Esquema y simbologa de definicin de lenguaje.

2. Unidad Lenguajes formales.

2.1 Conceptos bsicos.
2.2 Operadores bsicos * y +.
2.3 Primera definicin de lenguaje. Lenguaje formal. Lenguaje regular.
2.4 Expresiones regulares.
2.5 Precedencia en las expresiones regulares.
2.6 lgebra de expresiones regulares.
2.7 Diseo de expresiones regulares.

3. Unidad Autmatas finitos.

3.1 Conceptos bsicos.
3.2 Definicin formal de autmata finito. Autmatas finitos en representacin grfica.
3.3 Anlisis de la entrada a travs de un autmata finito. Lenguaje aceptado por un autmata finito.
3.4 Ejemplos de autmatas orientados a disear la etapa de lxico de un lenguaje de
3.5 programacin.
3.6 Tipos de autmatas.
3.7 Autmata finito determinista.
3.8 Autmata finito no determinista.
3.9 Anlisis de la entrada a travs de un autmata finito no determinista.
3.10 Autmata con transiciones-E
3.11 Anlisis de la entrada a travs de un autmata finito con transiciones-E.
3.12 Autmata no determinista y con transiciones-E.
3.13 Conversin de autmata finito no determinista a autmata finito determinista.
3.14 Conversin de autmata finito con transiciones-E a autmata finito determinista.
3.15 Conversin de expresin regular a autmata finito no determinista.
3.16 Conversin de expresin regular a autmata finito determinista.

4. Unidad Gramticas.
4.1 Conceptos bsicos.
4.2 Definicin formal.
 4.3 Convenciones de notacin.
4.4 Notacin simplificada.
4.5 Lema de Arden.
4.6 Derivaciones, rboles de direvacin.
4.7 Lenguaje generado por una gramtica.
4.8 Diseo de gramticas. Tcnicas para el diseo de gramticas. Modularidad de las gramticas.
Lmites de las gramticas.
4.9 Diseo arbitrario de gramticas.
4.10 Primer acercamiento a la jerarqua de Chomsky para gramticas.
4.11 Gramtica regular implementada en un autmata finito no determinista.

5. Unidad Autmatas de pila

5.1 Conceptos bsicos.
5.2 Definicin formal.
5.3 Jerarqua de lenguajes.
5.4 Reconocimiento de una cadena en un autmata de pila.
5.5 Seguimiento en formato de corrida de escritorio.
5.6 Gramticas independientes del contexto, implementadas en autmatas de pila.

6. Unidad Mquina de Turing

6.1 Conceptos bsicos.
6.2 Mquina de Turing como realizadora de clculos.
6.3 Reconocimiento de una cadena de entrada.
6.4 Mquina de Turing como reconocedora de lenguajes.
6.5 Diseo de la mquina de Turing.
6.6 Tcnicas para la construccin de las mquinas de Turing.

7. Unidad Expresiones, primer acercamiento.

7.1 Consideraciones para generar expresiones en lenguajes de programacin.
7.2 Conceptos bsicos.
7.3 Trminos dentro de una expresin.
7.4 Tipos de operadores.
7.5 Prioridad o precedencia.
7.6 Notaciones.
7.7 Generacin de notaciones a travs de rboles binarios.
7.8 Recorrido del rbol.
7.9 Importancia de la notacin posfija.
7.10 Algoritmo para convertir de notacin fija a notacin posfija.
7.11 Algoritmo para evaluar notaciones pos fijas.
7.12 Aplicacin de los algoritmos de conversin y evaluacin en un programa.
7.13 Comentarios finales.

EVALUACIN

Primer Parcial 10 puntos

Segundo Parcial 20 puntos
Laboratorios, tares y 20 puntos
trabajos de investigacin
Examen Final 50 puntos
Nota Final 100 puntos

BIBLIOGRAFIA

Libro de Texto
Teora de Autmatas y Lenguajes Formales", Dean Kelley. Ed. Prentice Hall, 1995.

Brookshear, J. Glenn Teora de la Computacin, Lenguajes Formales, Autmatas y Complejidad, Editorial

Addison Wesley Iberoamrica, primera edicin USA 1993.

Hopcroft, John y Jeffey Ullman, Introduccin a la Teora de Autmatas, Lenguajes y Computacin. CECSA,
tercera reimpresin, Mxico 1997
Compiladores. Principios, tcnicas y herramientas, Aho A.V., Sethi R,. & Ullman J.D. Ed: Addison Wesley
Iberoamericana. 1990.