UNIVERSIDAD MARIANO GLVEZ DE GUATEMALA

FACULTAD DE INGENIERA EN SISTEMAS DE INFORMACIN

CARRERA: LICENCIATURA EN INGENIERA EN SISTEMAS DE INFORMACIN
PENSUM 2014
NOMBRE DEL CURSO: AUTMATAS Y LENGUAJES FORMALES

CDIGO: 2014-28 CRDITOS 5

PRE-REQUISITO: 80 CRDITOS POST-REQUISITO:
JORNADA: VESPERTINA

PRESENTACIN:

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.

COMPETENCIAS GENERALES

Proporcionar al estudiante la base cientfica para resolver problemas importantes

dentro de la lgica algortmica, fundamentales para la construccin de
compiladores.

COMPETENCIAS ESPECFICAS

El estudiante
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.
 UNIVERSIDAD MARIANO GLVEZ DE GUATEMALA
FACULTAD DE INGENIERA EN SISTEMAS DE INFORMACIN
CARRERA: LICENCIATURA EN INGENIERA EN SISTEMAS DE INFORMACIN

PENSUM 2014

NOMBRE DEL CURSO: AUTMATAS Y LENGUAJES FORMALES

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.
 UNIVERSIDAD MARIANO GLVEZ DE GUATEMALA
FACULTAD DE INGENIERA EN SISTEMAS DE INFORMACIN
CARRERA: LICENCIATURA EN INGENIERA EN SISTEMAS DE INFORMACIN

PENSUM 2014

NOMBRE DEL CURSO: AUTMATAS Y LENGUAJES FORMALES

4.4 Notacin simplificada.

4.5 Lema de Arden.
4.6 Derivaciones, rboles de derivacin.
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.
 UNIVERSIDAD MARIANO GLVEZ DE GUATEMALA
FACULTAD DE INGENIERA EN SISTEMAS DE INFORMACIN
CARRERA: LICENCIATURA EN INGENIERA EN SISTEMAS DE INFORMACIN

PENSUM 2014

NOMBRE DEL CURSO: AUTMATAS Y LENGUAJES FORMALES

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 trabajos de investigacin 20 puntos
Examen Final 50 puntos
Nota Final 100 puntos

Bibliografa

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.