UNIVERSIDAD DE SAN CARLOS DE GUATEMALA FACULTAD DE INGENIERIA Escuela de Ciencias y Sistemas FICHA TCNICA DEL CURSO: Lenguajes Formales

y de Programacin No. Descripcin Cdigo 796 . 1 Escuela rea a la que pertenece Ciencias y Sistemas Ciencias de la computacin
http://sistemas.ingenieria-usac.edu.gt

Crditos

Vigencia Primer semestre 2014

Horas por semana 2 Pre-requisitos: 770 Introduccin a la Programacin 1 795 Lgica de sistemas 960 Matemtica de Computo 1 Postrequistios: 777 Organizacin de lenguajes y compiladores 1 964 Organizacin computacional I. Descripcin General

Horario Martes 7:10 a 8:50

5 6

Este curso busca introducir al estudiante con los fundamentos tericos matemticos y conceptos 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 matemticos 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. Adquiriendo conceptos y los pueda relacionar a los aspectos tcnicos y prcticos conociendo su aplicacin 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 prctica. El curso se enfoca y trata con profundidad la teora de autmatas finitos buscando que el estudiante entienda el proceso matemtico para encontrar los autmatas finitos y su implementacin en un lenguaje de programacin. Objetivos 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. Conocer el funcionamiento de un analizador lxico y su implementacin 6. Conocer e implementar maquinas de estado finito 7. Disear e implementar gramticas libres de contexto 8. conocer los conceptos que fundamentan el anlisis sintctico 9. Aplicar los modelos matemticos que resuelven gramticas de tipo 0

III. Contenido Contenido Unidad 1. Lenguajes Formales 1. Definiciones Lenguajes de programacin, Compiladores e interpretes 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 2.5 Estado inicial Unidad 2 : Jerarquia de Chomsky 3. Jerarqua de Chomsky 3.1 Lenguajes Recursivamente enumerarbles Maquinas de turing 3.2 Lenguajes Sensibles al Contexto Autmatas lineales limitados 3.3 Lenguajes Libres de contexto Autmatas Descendentes 3.4 Lenguajes regulares Autmatas finitos Unidad 3: 1. 2. 3. Lenguajes regulares Lenguajes regulares Gramticas Regulares (tipo 3) Diseo de gramticas regulares 3.1 Ejemplos y ejercicios de gramticas regulares 3.2 Aplicacin de gramticas regulares Expresiones regulares Autmatas Finitos 5.1 Grafos para representacin de autmatas 5.2 Autmatas Finitos No Determinsticos NFA 5.3 Autmatas Finitos Determinsticos DFA Mtodo para pasar de gramticas a expresiones regulares y de expresiones regulares a gramticas Mtodos para Calcular DFAs 7.1 Construccin de Thomson y minimizacin de estados 7.2 Mtodo del rbol Ejemplos y ejercicios Planificacin 4 perodos de clase

4 perodos de clase Primer parcial

8 perodos de clase Segundo parcial

4. 5.

6. 7.

8.

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 5. Gramticas ambiguas 7. Parser recursivos descendentes 10. Ejemplos y ejercicios

8 perodos de clase Tercer parcial

IV. Metodologa: 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.

V. Evaluacin: La nota final estar compuesta de 100 puntos, distribuidos de la siguiente manera: Tres Evaluaciones de rendimiento (15 puntos c/u Tareas, trabajos en clase, comprobaciones, asistencia, cortos, etc. Laboratorio (proyectos, prcticas, etc.) Zona Evaluacin Final Nota total 45 puntos 10 puntos 20 puntos 75 puntos 25 puntos 100 puntos

VI. Observaciones: Ser necesario contar con un 80% de asistencia y aprobar el laboratorio del curso con una nota mnima de 61 puntos, para tener derecho a la evaluacin final. La asistencia se pasa en forma aleatoria en cualquier dia de clases. Si se llega tarde no se tiene derecho a asistencia. Despus de pasada la asistencia no se aceptan agregados aun cuando reciban parte del curso. Se realizaran exmenes cortos cada da de clase y se debe tener un 80% de exmenes realizados, para tener derecho a la evaluacin final. No se pasan notas atrasadas, no se guardan notas y no se aceptan estudiantes con problemas de prerrequisitos.

Bibliografa Andrew W. Appel Modern Compiler Implementation in Java Second Edition Cambridge University Press Brookshear, J. Glenn. Teora de la Computacin - Lenguajes formales, autmatas y complejidad. Addison-Wesley Iberoamericana. Appleby, Doris. Vandekopple, Julius J. Lenguajes de Programacin Paradigma y prctica. Editorial McGraw Hill, Mxico, 1, Compiladores: principios, tcnicas y herramientas, 2da Edicin, Adison Weslay Iberoamericana S.A. Alfred V. Aho, Monica S. Lam, Ravi Sethi & Jeffrey D. Ullman

8 9 1 0 1 1

No. De Secciones Catedrticos titulares y auxiliares Coordinadora de rea Director de Escuela

4 Ing. Otto Rodrguez

Ing. Marlon Perez