UNIVERSIDAD DE SAN CARLOS DE GUATEMALA FACULTAD DE INGENIERIA ESCUELA DE CIENCIAS

NOMBRE DEL CURSO:

CODIGO: ESCUELA: 796

Lenguajes Formales y de Programacin

CREDITOS: AREA A LA QUE PERTENECE: 3 Ciencias de la computacin Organizacin de lenguajes y compiladores 1 (777 ) Organizacin computacional (964)

Ciencias y Sistemas

Introduccin a la Programacin 1 (770) PRE REQUISITO: Lgica de sistemas (795) Matemtica de Computo 1 (960) POST REQUISITO:

CATEGORIA: CATEDRTICO (A): EDIFICIO: SALON DEL CURSO: HORAS POR SEMANA DEL CURSO: DAS QUE SE IMPARTE EL CURSO: HORARIO DEL CURSO:

Obligatorio Ing. Otto Rodriguez T-3 216 2

SEMESTRE: AUXILIAR: SECCIN: SALON DEL LABORATORIO: HORAS POR SEMANA DEL LABORATORIO: DIAS QUE SE IMPARTE EL

2do. 2011 Eduardo Mancilla A+ 114 T-3 2

Martes 07:10AM 08:50AM

LABORATORIO: HORARIO DEL LABORATORIO:

Martes 09:10AM 10:50AM

DESCRIPCIN DEL CURSO: El propsito al impartir el laboratorio es complementar y poner en prctica las distintas reas cubiertas por el contenido del curso de Lenguajes Formales y de Programacin; proporcionando conocimientos prcticos para la aplicacin e implementacin de diversos temas importantes del curso como por ejemplo diseo de gramticas para representar lenguajes, mtodos para calcular DFAs, funcionamiento de un parser, manejo de pilas y tabla de smbolos.

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: . . . . Proveer una base terica y prctica que permita disear de una manera completa un lenguaje de formal. Llegar a realizar scanner. Implementar analizadores sintcticos. Administrar la tabla de smbolos.

METODOLOGIA: Clase magistral que se impartir una por semana, repasando los conceptos fundamentales vistos en clase; intercalando con prcticas realizadas en clase, resolviendo dudas en la implementacin de lenguajes formales. Exmenes cortos y hojas de trabajo peridicos con el objetivo de verificar los conocimientos adquiridos por los estudiantes.

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.

De acuerdo con el Normativo de Evaluacin y Promocin pregrado de la Facultad de Ingenera, se proceder as:

del estudiante de

La nota final estar compuesta de 100 puntos, equivalentes al 20% de la nota total del curso, distribuidos de la siguiente manera:

Instrumento de Evaluacin Ponderacin Proyecto (2 fases) 70% Tareas, Hojas de trabajo, Exmenes 10% Practicas presenciales 10% Final 10% Nota de Promocin 100%

CONTENIDO PROGRAMATICO: 1. Lenguajes naturales 2. Definicin Lenguaje Formal 2.2 Caractersticas 3. Proceso de compilacin 3.1 Partes del compilador 3.1.1 Etapa de anlisis 3.1.2 Etapa Sntesis 4. Anlisis lxico 4.1 Proceso lexicogrfico. 4.2 Token 4.3 Lexema 4.4 Patrn

Lenguajes regulares 1. 2. 3. Lenguajes regulares Expresiones regulares 2.1 3.1 3.2 4. 5. Ejemplos. Mtodo del rbol Construccin de Thomson y minimizacin de estados Mtodos para Calcular DFAs

Ejemplos y ejercicios Implementacin de Scanner.

Unidad 3:

Lenguajes libres de contexto 1. 2. 3. 4. Lenguajes Independientes del contexto Gramticas Tipo 2 Diseo de gramticas independientes del contexto 3.1. 4.1 4.2 5. 6. 7. 8. Ejemplos y ejercicios de gramticas libres de contexto Por la izquierda Por la derecha Recursividad

Gramticas ambiguas Parser recursivo descendente Ejemplos y ejercicios Mtodo para generacin de tabla de anlisis descendente.

BIBLIOGRAFA: Andrew W. Appel Modern Compiler Implementation in Java Second Edition, Cambridge University Press Aho, A. V.; Sethi, R.; Ullman, J. D. Compiladores. Principios, Tcnicas y Herramientas. Addison-Wesley Iberoamericana.

LISTA DE CATEDRTICOS
CURSO Lenguajes Formales y de programacin Lenguajes Formales y de programacin Lenguajes Formales y de programacin Lenguajes Formales y de programacin SEC A+ AB+ BEDI T-3 T-3 T-3 T-3 SALO N 216 215 311 310 INICI O 07:10 07:10 07:10 07:10 FIN 08:50 08:50 x 08:50 x 08:50 Zulma Aguirre Cristian Lavarreda L M x x M I J V CATEDRATICOS Otto Rodriguez Vivian Damaris Campos