BENÉMERITA UNIVERSIDAD AUTÓNOMA DE PUEBLA VICERRECTORÍA DE DOCENCIA DIRECCIÓN GENERALDE EDUCACIÓN SUPERIOR FACULTAD DE CIENCIAS DE LA COMPUTACIÓN

Transcripción

1 Programa Educativo (PE): Licenciatura en Ciencias de la Computación Área: Ciencias de la Computación Programa de Asignatura: Compiladores Código: CCOM-257 Créditos: 5 Fecha: 14 de Julio de

2 1. DATOS GENERALES Nivel Educativo: Licenciatura Nombre del Programa Educativo: Licenciatura en Ciencias de la Computación Modalidad Académica: Mixta Nombre de la Asignatura: Compiladores Ubicación: Correlación: Asignaturas Precedentes: Asignaturas Consecuentes: Nivel Formativo Lenguajes Formales y Autómatas, Estructuras de Datos Ninguna 2

3 Conocimientos, habilidades, actitudes y valores previos: Conocimientos de: Herramientas para la compilación de lenguajes de programación. Lenguajes formales y autómatas. Gramáticas formales. Programación estructurada y recursiva. Tipos de datos abstractos. Lenguaje de Programación de alto nivel. Habilidades Construir autómatas. Construir gramáticas para la verificación de sintaxis. Diseñar un lenguaje regular mediante expresiones regulares. Creatividad en el diseño de Diagramas de Transición. Capacidad de observación, iniciativa y disposición al trabajo en equipo. Actitudes y valores De trabajo colaborativo. Una actitud favorable para adquirir nuevos conocimientos y realizar innovaciones. De respeto y empatía con las personas. De Honestidad y responsabilidad. De liderazgo y humanismo. Actitud participativa. 2. CARGA HORARIA DEL ESTUDIANTE Concepto Horas teoría y práctica Actividades bajo la conducción del docente como clases teóricas, prácticas de laboratorio, talleres, cursos por internet, seminarios, etc. (16 horas = 1 crédito) Horas de práctica profesional crítica. Servicio social, veranos de la investigación, internado, estancias, ayudantías, proyectos de impacto social, etc. (50 horas = 1 crédito) Horas por periodo Teorías Prácticas Total de horas por periodo Número de créditos

4 Horas de trabajo independiente. En donde se integran s de la asignatura y tiene como resultado un producto académico ejem. exposiciones, recitales, maquetas, modelos tecnológicos, asesorías, ponencias, conferencias, congresos, visitas, etc. (20 horas = 1 crédito) Total REVISIONES Y ACTUALIZACIONES Autores: Beatriz Beltrán Martínez Hilda Castillo Zacatelco Laura Cuayahuitl Romero Leticia Mendoza Alonso Mario Anzures García Pedro Bello López Yolanda Moyao Martínez Rafael De la Rosa Flores Fecha de diseño: 25 de Junio de 2009 Fecha de la última actualización: 14 de Julio de 2009 Revisores: Sinopsis de la revisión y/o actualización: Yolanda Moyao Martínez Beatriz Beltrán Martínez Hilda Castillo Zacatelco Laura Cuayahuitl Romero Leticia Mendoza Alonso Rafael de la Rosa Flores Pedro Bello López Luis Enrique Colmenares Guillén Esta asignatura fue modificada con el objetivo de fortalecer la formación del estudiante para comprender la relación existente entre el traductor, la arquitectura de la computadora y los lenguajes de alto nivel. 4. PERFIL DESEABLE DEL PROFESOR (A) PARA IMPARTIR LA ASIGNATURA: Disciplina profesional: Nivel académico: Experiencia docente: Experiencia profesional: Ciencias de la Computación Maestría Mínima 2 años Mínima 1 año 4

5 5. OBJETIVOS: 5.1 Educacional: El estudiante será competente para diseñar los programas que interpretan y compilan lenguajes de alto nivel, además el estudiante será capaz de adaptar estas técnicas a otras áreas de conocimiento, y de realizar trabajo colaborativo y cooperativo con responsabilidad y honestidad. 5.2 General: El estudiante diseñará e implementará cada una de las fases involucradas en el diseño y construcción de un compilador funcional utilizando técnicas formales. 5.3 s: El estudiante será capaz de: Identificar los principios básicos para el análisis y diseño de un compilador. Identificar los tipos de traductores. Describirá la estructura general de un compilador. Describirá cada una de las fases de un compilador. Utilizar autómatas finitos para expresiones regulares y gramáticas en el diseño de reconocedores léxicos. Aplicará las técnicas de verificación del ámbito y tipos en las variables. Identificar los tipos de representación de código intermedio para la construcción de la máquina virtual. Diseñar cada una de las fases de un compilador, aplicando técnicas formales. 5

6 6. MAPA CONCEPTUAL DE LA ASIGNATURA: BENÉMERITA UNIVERSIDAD AUTÓNOMA DE PUEBLA 6

7 7. CONTENIDO Unidad 1 Introducción a los traductores Identificar los tipos de traductores, así como las fases que lo conforman 1.1 Conceptos generales Alfred Aho, Jeffrey 1.2 Tipos de traductores D. Ullman, Monica S. Lam, Ravi 1.3 Entorno y estructura de Sheti(2008). un compilador Compiladores. 1.4 Diseño de un traductor. principios, técnicas y herramientas. Addison Wesley. Kenneth C. Lounden(2005). Construcción de Compiladores, principios y práctica. Thomson Jean P. Premblay, Paul Sorerson. (1985). The Theory and Practice of Compiler Writing Mc graw-hill. Karen A. Lemote(1988) Fundamentos de Compiladores CECSA. Unidad 2 Análisis Léxico Utilizar autómatas finitos para expresiones regulares y gramáticas en el diseño de reconocedores 2.1Definición. 2.2Conceptos de token, patrones, lexema y atributo. 2.3 Especificación de un token y expresiones regulares. 2.4 El autómata finito. Alfred Aho, Jeffrey D. Ullman, Monica S. Lam, Ravi Sheti(2008). Compiladores. principios, técnicas y herramientas. Jean P. Premblay, Paul Sorerson. (1985). The Theory and Practice of Compiler Writing Mc graw-hill. 7

8 Unidad 2 léxicos. 2.5 La tabla de transición. 2.6 Tratamiento de errores. Addison Wesley. Kenneth C. Lounden(2005). Construcción de Compiladores, principios y práctica. Thomson Karen A. Lemote(1988) Fundamentos de Compiladores CECSA. Unidad 3 Análisis Sintáctico Diseñar un analizador sintáctico descendente predictivo para gramáticas libres de contexto. 3.1 Gramáticas Libres de Contexto. 3.2 Derivación. 3.3 Ambigüedad. 3.4 Tipos de Análisis Sintáctico. 3.5 Analizador Sintáctico Descendente Predictivo. 3.6 Gramáticas LL(1). 3.7 Tratamiento de errores sintácticos. Alfred Aho, Jeffrey D. Ullman, Monica S. Lam, Ravi Sheti(2008). Compiladores. principios, técnicas y herramientas. Addison Wesley. Kenneth C. Lounden(2005). Construcción de Compiladores, principios y práctica. Thomson Jean P. Premblay, Paul Sorerson. (1985). The Theory and Practice of Compiler Writing Mc graw-hill. Karen A. Lemote(1988) Fundamentos de Compiladores CECSA. 8

9 Unidad 4 Análisis Semántico Aplicar las técnicas de verificación del ámbito y tipos en las variables. 4.1 Introducción. Alfred Aho, Jeffrey 4.2 Especificación formal. D. Ullman, Monica 4.3 Fases en el análisis S. Lam, Ravi semántico. Sheti(2008). Compiladores. 4.4 Determinación de los tipos de comprobaciones principios, técnicas y herramientas. semánticas a realizar. Addison Wesley Diseño, implantación y administración de la tabla de símbolos Análisis semántico de tipos Análisis semántico en declaraciones Análisis semántico de expresiones Análisis semántico de instrucciones. Kenneth C. Lounden(2005). Construcción de Compiladores, principios y práctica. Thomson Jean P. Premblay, Paul Sorerson. (1985). The Theory and Practice of Compiler Writing Mc graw-hill. Karen A. Lemote(1988) Fundamentos de Compiladores CECSA. Unidad 5 Generación de código intermedio Identificar los tipos de representación de código intermedio para la construcción de la máquina virtual. 5.1 Máquina virtual. Alfred Aho, Jeffrey D. Ullman, Monica 5.2 Administración de la S. Lam, Ravi memoria durante la Sheti(2008). ejecución. Compiladores. Jean P. Premblay, Paul Sorerson. (1985). The Theory and Practice of Compiler Writing 9

10 Unidad Códigos de 3 y 4 direcciones. 5.4 Estrategias para la generación de código estándar. principios, técnicas y herramientas. Addison Wesley. Kenneth C. Lounden(2005). Construcción de Compiladores, principios y práctica. Thomson Mc graw-hill. Karen A. Lemote(1988) Fundamentos de Compiladores CECSA. 8. CONTRIBUCIÓN DEL PROGRAMA DE ASIGNATURA AL PERFIL DE EGRESO Unidad Unidad 1. Introducción a los Traductores Unidad 2. Análisis Léxico Perfil de egreso (anotar en las siguientes tres columnas a qué elemento(s) del perfil de egreso contribuye esta asignatura) Conocimientos Habilidades Actitudes y valores Identificar de manera Analizar e identificar las Trabajo en equipo. general la estructura de diferentes etapas de un Participación activa. un compilador y la función compilador así como las Apertura al dialogo. de cada una de las fases funciones de cada una de Responsabilidad y del compilador. estas. solidaridad. Utilizar las técnicas utilizadas para el proceso de análisis y diseño lexicográfico. Ser capaz de analizar, diseñar e implementar las funciones del analizador lexicográfico mediante el uso de autómatas. Trabajo en equipo. Participación activa. Apertura al dialogo. Responsabilidad y solidaridad 10

11 Unidad Unidad 3. Análisis Sintáctico Unidad 4. Análisis Semántico Unidad 5. Generación de código intermedio. Perfil de egreso (anotar en las siguientes tres columnas a qué elemento(s) del perfil de egreso contribuye esta asignatura) Conocimientos Habilidades Actitudes y valores Utilizar las técnicas para Ser capaz de diseñar e Trabajo en equipo. el análisis y diseño de las implementar las funciones del Participación activa. funciones del proceso de analizador sintáctico Apertura al dialogo. análisis sintáctico. utilizando un lenguaje de Responsabilidad Identificar los diferentes programación de alto nivel. tipos de análisis sintáctico. Aplicar las técnicas de comprobación de tipos. Aplicar la comprobación estática de tipos. Identificar las diferentes representaciones intermedias. Ser capaz de desarrollar e implementar un comprobador de tipos para un lenguaje. Ser capaz de elegir e implementar la representación intermedia más adecuada para la construcción de un compilador. Trabajo en equipo. Participación activa. Apertura al diálogo. Responsabilidad y solidaridad. Trabajo en equipo. Participación activa. Apertura al diálogo. Responsabilidad y solidaridad. 11

12 9. ORIENTACIÓN DIDÁCTICO-PEDAGÓGICA. (Enunciada de manera general para aplicarse durante todo el curso) Estrategias a-e Técnicas a-e Recursos didácticos Estrategias de : Técnicas Materiales: Lectura y comprensión grupales Proyectores Reflexión de debate TICs Comparación del diálogo Plumón Resumen de problemas Pizarrón de estudio de casos Estrategias de enseñanza: cuadros sinópticos ABP mapas conceptuales Aprendizaje activo para el análisis Aprendizaje cooperativo comparación Aprendizaje colaborativo Basado en el descubrimiento Ambientes de : Aula Laboratorio Generadores Automáticos Exposición. síntesis mapas mentales lluvia de ideas analogías 10. CRITERIOS DE EVALUACIÓN Criterios Porcentaje Exámenes 40% Participación en clase 10% Tareas 20% Exposiciones Simulaciones Trabajos de investigación y/o de intervención Prácticas de laboratorio Visitas guiadas Reporte de actividades académicas y culturales Mapas conceptuales Portafolio Proyecto final 30% Otros Total 100% 11. REQUISITOS DE ACREDITACIÓN 12

13 Estar inscrito oficialmente como alumno del PE en la BUAP Haber aprobado las asignaturas que son pre-requisitos de ésta Aparecer en el acta El promedio de las calificaciones de los exámenes aplicados deberá ser igual o mayor que 6 Cumplir con las actividades propuestas por el profesor 13