UNIVERSIDAD DE SAN CARLOS DE GUATEMALA

FACULTAD DE INGENIERIA
ESCUELA DE CIENCIAS

NOMBRE DEL CURSO: Lenguajes Formales y de Programacin

CODIGO:

796

CREDITOS:

ESCUELA:

Ciencias y Sistemas

AREA A LA QUE PERTENECE:

Ciencias de la
Computacin

PRE REQUISITO:

770 Introduccin a la
Programacin 1
795 Lgica de sistemas
960 Matemtica de
Cmputo 1

POST REQUISITO:

777 Organizacin
de lenguajes y
compiladores 1
772 Estructura de
Datos

CATEGORIA:

Obligatorio

SEMESTRE:

2do. 2013

EDIFICIO:

T-3

&DUORV
<RTXH
SECCIN:%

SALON DEL CURSO:

214

SALON DEL LABORATORIO:

CATEDRTICO (A)::LOOLDP(VFREDU

HORAS POR SEMANA DEL

CURSO:
DAS QUE SE IMPARTE EL
CURSO:
HORARIO DEL CURSO:

2
Martes
07:10AM 08:50AM.

AUXILIAR:

HORAS POR SEMANA DEL

LABORATORIO:
DIAS QUE SE IMPARTE EL
LABORATORIO:
HORARIO DEL LABORATORIO:

414 T-3
2
Sbado
07:10AM 8:50AM.

DESCRIPCIN DEL CURSO:

Este curso introduce al estudiante con los conceptos tericos matemticos y que
fundamentan los lenguajes de programacin. El estudiante debe adquirir la base
terica necesaria y requerida para que pueda llevar un curso avanzado de
lenguajes y compiladores. Se busca, adems, definir los modelos asociados a la
representacin de los diferentes tipos de lenguajes para luego implementar estos
conceptos en lenguajes de programacin. Es de primordial importancia que pueda
reconocer cualquier tipo de gramtica, pero sobre todo, pueda manejar y disear
gramticas para lenguajes regulares y para lenguajes libres de contexto, adems,
de los modelos matemticos que las resuelven. Se busca que el estudiante tenga
mucha prctica en el diseo de gramticas para representar lenguajes y que
adquiera la habilidad de disearlas sin problema. Aplicando dichos conocimientos
en lenguajes reales conocidos. El estudiante debe aprender la teora que esta
atrs de los diferentes componentes de un compilador, las tcnicas de
programacin usadas para poner esta teora en practica,
Al finalizar el curso el estudiante estar en la capacidad de poder recibir un curso
avanzado de compiladores.

Objetivo General
Que el estudiante tenga los conceptos tericos y matemticos necesarios, que
fundamentan los lenguajes de programacin y el diseo de lenguajes y
compiladores.
Objetivos Especficos:
Al final del curso el estudiante deber:
1. Definir cualquier lenguaje formal
2. Reconocer las caractersticas que identifican a cualquier tipo de gramtica.
3. Manejar la terminologa de los lenguajes y compiladores.
4. Conocer el modelo matemtico que resuelve cada tipo de gramtica.
5. Disear gramticas que representen lenguajes especficos
6. Conocer el funcionamiento de un analizador lxico y su implementacin
7. Conocer e implementar maquinas de estado finito
8. Disear e implementar gramticas libres de contexto
9. Conocer los conceptos que fundamentan el anlisis sintctico
10. Aplicar los modelos matemticos que resuelven cualquier gramtica

METODOLOGIA: El curso se desarrollar intercalando clases magistrales para

la exposicin de conceptos nuevos y clases participativas, en las que se asume
que el estudiante realiza las lecturas, tareas o ejercicios dejados para realizar
fuera de clase, previo al inicio de un nuevo da de clase.
EVALUACIN DEL RENDIMIENTO ACADEMICO: Segn
el Reglamento
General de Evaluacin y Promocin del Estudiante de la Universidad de San
Carlos de Guatemala, la zona tiene valor de 75 puntos, la nota mnima de
promocin es de 61 puntos y la zona mnima para optar a examen final es de 36
puntos.
Del 100% de la nota final, se distribuye en actividades de evaluacion de la
siguiente manera:
Procedimiento
Instrumento de Evaluacin
3 Evaluaciones de Rendimiento
Tareas, trabajos en clase, comprobaciones, etc.
Laboratorio(Proyectos, Pracitcas, etc)
Total de la zona
Evaluacin final
Nota de Promocin
CONTENIDO PROGRAMATICO Y CALENDARIZACIN:
Unidad 1. Lenguajes Formales
1. Definiciones
Lenguajes de programacin, Compiladores e interpretes

Ponderacin
45%
10%
20%
--------------------75%
25%
100%

Generaciones de lenguajes
Partes del compilador: Anlisis sintctico
Anlisis lxico
Definicin de tokens, lexemas, palabras reservadas.
2. Lenguajes formales
2.1 Definicin
2.2 Smbolos terminales
2.3 Smbolos no terminales
2.4 Gramtica
Unidad 2 : Jerarqua de Chomsky
1. Jerarqua de Chomsky
1.1 Gramticas sin restricciones
Maquinas de turing
1.2 Gramticas Sensibles al Contexto
Autmatas lineales limitados
1.3 Gramticas Libres de contexto
Autmatas Descendentes
1.4 Gramticas regulares
Autmatas finitos
Unidad 3: Lenguajes regulares
1. Lenguajes regulares
2. Gramticas Regulares (tipo 3)
3. Diseo de gramticas regulares
3.1 Ejemplos y ejercicios de gramticas regulares
3.2 Aplicacin de gramticas regulares
4. Expresiones regulares
5. Autmatas Finitos
5.1 Grafos para representacin de autmatas
5.2 Autmatas Finitos No Determinsticos NFA
5.3 Autmatas Finitos Determinsticos DFA
6. Mtodos para Calcular DFAs
6.1 Construccin de Thomson y minimizacin de estados
6.2 Mtodo del rbol
7. Ejemplos y ejercicios
Unidad 4: Lenguajes libres de contexto
1. Lenguajes Libres de contexto
2. Gramticas Libres de contexto (Tipo 2)
3. Diseo de gramticas libres de contexto
3.1 Ejemplos y ejercicios de gramticas libres de contexto
3.2 Aplicacin de lenguajes libres de contexto
4. Recursividad por la izquierda y recursividad por la derecha, Ambigedad
6. Autmata de Pilas
7. Ejemplos y ejercicios

BIBLIOGRAFA:
Aho, Alfred V., Sethi y Ullman. Compiladores: principios, tcnicas y herramientas.
Addison-Wesley.
Brookshear, J. Glenn. Teora de la Computacin - Lenguajes formales, autmatas
y complejidad. Addison-Wesley Iberoamericana.
Andrew W. Appel. Modern Compiler Implementation in Java. Second Edition.
Cambridge University Press.
Hopcroft, John. y Ullman, Jeffrey. Introduccin a la Teora de Autmatas,
Lenguajes y Computacin.

Curso

LISTA DE CATEDRTICOS
Seccin Edificio Saln Inicio Fin L M MI J V

Catedrticos

Lenguajes Formales y
de programacin

A+

T-3

216

7:10 8:50 - x

- -

OTTO AMILCAR
RODRIGUEZ
ACOSTA

Lenguajes Formales y
de programacin

A-

T-3

215

7:10 8:50 - x

- -

VIVIAN
DAMARIS
CAMPOS
GONZALEZ

Lenguajes Formales y
de programacin

B+

T-3

2214

7:10 8:50 - x

- -

WILLIAM
ESCOBAR

Lenguajes Formales y
de programacin

B-

T-3

310

7:10 8:50 - x

- -

ZULMA KARINA
AGUIRRE
ORDONEZ