Вы находитесь на странице: 1из 5

UNIVERSIDAD MARIANO GLVEZ DE

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

CDIGO: 2014-28 CRDITOS 5


PRE-REQUISITO: 80 CRE DITOS 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 te cnicas de reconocimiento de
patrones, procesos ba sicos computacionales, ana lisis le xico y sinta ctico, as como
una base para computabilidad.

COMPETENCIAS GENERALES

Proporcionar al estudiante la base cientfica para resolver problemas importantes


dentro de la lo gica algortmica, fundamentales para la construccio n de
compiladores.

COMPETENCIAS ESPECFICAS

El estudiante
Que el estudiante se introduzca en el ana lisis le xico, como me todo de solucio n de
problemas de renacimiento de patrones.
Que el alumno cuente con una idea ba sica de procesos computacionales.

CONTENIDO PROGRAMTICO DEL CURSO

1. Unidad 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 AUTMATAS Y LENGUAJES


CURSO: FORMALES

1.1 Definicio n de lenguaje, orientada a la formalidad, operaciones con


lenguajes.
1.2 Conceptos ba sicos orientados a la teora de compiladores.
1.3 Terminologa asociada a la definicio n conceptual de lenguaje.
1.4 Esquema y simbologa de definicio n de lenguaje.

2. Unidad Lenguajes formales.


2.1 Conceptos ba sicos.
2.2 Operadores ba sicos * y +.
2.3 Primera definicio n de lenguaje. Lenguaje formal. Lenguaje regular.
2.4 Expresiones regulares.
2.5 Precedencia en las expresiones regulares.
2.6 A lgebra de expresiones regulares.
2.7 Disen o de expresiones regulares.

3. Unidad Auto matas finitos.


3.1 Conceptos ba sicos.
3.2 Definicio n formal de auto mata finito. Auto matas finitos en
representacio n gra fica.
3.3 Ana lisis de la entrada a trave s de un auto mata finito. Lenguaje
aceptado por un auto mata finito.
3.4 Ejemplos de auto matas orientados a disen ar la etapa de le xico de un
lenguaje de
3.5 programacio n.
3.6 Tipos de auto matas.
3.7 Auto mata finito determinista.
3.8 Auto mata finito no determinista.
3.9 Ana lisis de la entrada a trave s de un auto mata finito no determinista.
3.10 Auto mata con transiciones-E
3.11 Ana lisis de la entrada a trave s de un auto mata finito con transiciones-
E.
3.12 Auto mata no determinista y con transiciones-E.
3.13 Conversio n de auto mata finito no determinista a auto mata finito
determinista.
3.14 Conversio n de auto mata finito con transiciones-E a auto mata finito
determinista.
3.15 Conversio n de expresio n regular a auto mata finito no determinista.
UNIVERSIDAD MARIANO GLVEZ DE GUATEMALA
FACULTAD DE INGENIERA EN SISTEMAS DE INFORMACIN
CARRERA: LICENCIATURA EN INGENIERA EN SISTEMAS DE INFORMACIN
PENSUM 2014

NOMBRE DEL AUTMATAS Y LENGUAJES


CURSO: FORMALES

3.16 Conversio n de expresio n regular a auto mata finito determinista.

4. Unidad Grama ticas.


4.1 Conceptos ba sicos.
4.2 Definicio n formal.
4.3 Convenciones de notacio n.
4.4 Notacio n simplificada.
4.5 Lema de Arden.
4.6 Derivaciones, A rboles de derivacio n.
4.7 Lenguaje generado por una grama tica.
4.8 Disen o de grama ticas. Te cnicas para el disen o de grama ticas.
Modularidad de las grama ticas. Lmites de las grama ticas.
4.9 Disen o arbitrario de grama ticas.
4.10 Primer acercamiento a la jerarqua de Chomsky para grama ticas.
4.11 Grama tica regular implementada en un auto mata finito no
determinista.

5. Unidad Auto matas de pila


5.1 Conceptos ba sicos.
5.2 Definicio n formal.
5.3 Jerarqua de lenguajes.
5.4 Reconocimiento de una cadena en un auto mata de pila.
5.5 Seguimiento en formato de corrida de escritorio.
5.6 Grama ticas independientes del contexto, implementadas en auto matas
de pila.

6. Unidad Ma quina de Turing


6.1 Conceptos ba sicos.
6.2 Ma quina de Turing como realizadora de ca lculos.
6.3 Reconocimiento de una cadena de entrada.
6.4 Ma quina de Turing como reconocedora de lenguajes.
6.5 Disen o de la ma quina de Turing.
6.6 Te cnicas para la construccio n de las ma quinas de Turing.

7. Unidad Expresiones, primer acercamiento.


7.1 Consideraciones para generar expresiones en lenguajes de
programacio n.
UNIVERSIDAD MARIANO GLVEZ DE GUATEMALA
FACULTAD DE INGENIERA EN SISTEMAS DE INFORMACIN
CARRERA: LICENCIATURA EN INGENIERA EN SISTEMAS DE INFORMACIN
PENSUM 2014

NOMBRE DEL AUTMATAS Y LENGUAJES


CURSO: FORMALES

7.2 Conceptos ba sicos.


7.3 Te rminos dentro de una expresio n.
7.4 Tipos de operadores.
7.5 Prioridad o precedencia.
7.6 Notaciones.
7.7 Generacio n de notaciones a trave s de a rboles binarios.
7.8 Recorrido del a rbol.
7.9 Importancia de la notacio n posfija.
7.10 Algoritmo para convertir de notacio n fija a notacio n posfija.
7.11 Algoritmo para evaluar notaciones pos fijas.
7.12 Aplicacio n de los algoritmos de conversio n y evaluacio n en un
programa.
7.13 Comentarios finales.

EVALUACIN

Primer Parcial 10 puntos


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

Bibliografa

Teora de Auto matas y Lenguajes Formales", Dean Kelley. Ed. Prentice Hall,
1995.

Brookshear, J. Glenn Teora de la Computacio n, Lenguajes Formales,


Auto matas y Complejidad, Editorial Addison Wesley Iberoame rica,
primera edicio n USA 1993.

Hopcroft, John y Jeffey Ullman, Introduccio n a la Teora de Auto matas,


Lenguajes y Computacio n. CECSA, tercera reimpresio n, Me xico 1997
Compiladores. Principios, te cnicas y herramientas, Aho A.V., Sethi R,. &
Ullman J.D. Ed: Addison Wesley Iberoamericana. 1990.
UNIVERSIDAD MARIANO GLVEZ DE GUATEMALA
FACULTAD DE INGENIERA EN SISTEMAS DE INFORMACIN
CARRERA: LICENCIATURA EN INGENIERA EN SISTEMAS DE INFORMACIN
PENSUM 2014

NOMBRE DEL AUTMATAS Y LENGUAJES


CURSO: FORMALES