Академический Документы
Профессиональный Документы
Культура Документы
FSICO MATEMTICAS
SEMESTRE:
Quinto
CONTENIDO SINTTICO:
I. Introduccin. II. Anlisis Lxico. III. Anlisis Sintctico. IV. Anlisis Semntico. V. Cdigo Intermedio VI. Generacin de Cdigo.
METODOLOGA:
Preparacin y discusin de los temas por parte de los alumnos con gua del profesor. Resolucin de problemas bajo la supervisin del profesor. Trabajo en equipo. Uso de material didctico y presentaciones en Power Point.
EVALUACIN Y ACREDITACIN:
La evaluacin se har de manera diagnstica de seguimiento y sumativa, donde se evaluarn el aprovechamiento de las unidades, mediante tres exmenes departamentales con un valor del 60% de la calificacin terica. El 10% ser evaluado de la participacin de los alumnos tomando en cuenta los siguientes aspectos: bsqueda bibliogrfica en revistas cientficas, libros e Internet, etc., participacin en clase, tareas extraclase. El 30% restante ser evaluado de los reportes y prcticas de laboratorio.
BIBLIOGRAFA:
Kenneth C. and Louden, Construccin de Compiladores Principios y Prctica, Edit. Thomnson, Mxico 2004. p. 446 Hopcroft, John E. And Ullman Jefrey D., Compiladores Edit. Addison-Wesley, U.S.A, Edit. 2002. p. 91-233, p.273-326 Kelley, Dean, Introduccin a la Teora de Autmatas y Lenguajes Formales, Edit. Prentice Hall, Espaa, 1995. p.380
FSICO MATEMTICAS
ESCUELA: Escuela Superior de Ingeniera Mecnica y Elctrica. CARRERA: Ingeniera en Computacin. COORDINACIN: Academia de Computacin. DEPARTAMENTO: Ingeniera en Computacin
ASIGNATURA: Compiladores SEMESTRE: Quinto CLAVE: CLA028 CRDITOS: 7.5 VIGENTE: Agosto 2005 TIPO DE ASIGNATURA: Terico-Prctica MODALIDAD: Escolarizada.
TIEMPOS ASIGNADOS
PROGRAMA ELABORADO O ACTUALIZADO POR: Academia de Computacin de ESIME Culhuacan REVISADO POR: Subdireccin Acadmica de ESIME Culhuacan APROBADO POR: Consejo Tcnico Consultivo Escolar de ESIME Culhuacan. Ing. Ernesto Mercado Escutia
AUTORIZADO POR: Comisin de Planes y Programas del Consejo General Consultivo del IPN
FUNDAMENTACIN DE LA ASIGNATURA
El progreso de las ciencias de la computacin ha sido basado en la notacin formal matemtica y lgica dentro de la cual se han desarrollado los lenguajes formales, estos junto con los Autmatas de estado finito han dado pauta a la creacin de compiladores que traducen diferentes lenguajes de programacin a un solo tipo de lenguaje, cdigo de maquina, lo cual permite la utilizacin de computadoras con diferente propsito y de utilizacin masiva y comn. El estudio de los Compiladores permitir al profesional de la carrera de Ingeniera en Computacin comprender el funcionamiento y trabajo desempeado en el intento por comunicar ideas a trabajo computacional: la computacin y los lenguajes de programacin evolucionan y se acercan mas a la comunicacin directa hombre - mquina. Las Matemticas discretas y la Teora de Autmatas son antecedentes de esta asignatura cuyos conceptos y herramientas sern aplicables consecuentemente a la materia de Sistemas Operativos, Arquitectura de Computadoras y Lenguajes de Arquitecturas en Paralelo.
OBJETIVO DE LA ASIGNATURA
El alumno disear un compilador que funcione completamente y con cada una de sus partes. Explicar las etapas de diseo y su trabajo respectivo en la traduccin de un lenguaje de alto nivel hasta uno de bajo nivel.
CLAVE: CLA028
NOMBRE: Introduccin
HOJA: 3 DE 10
No. TEMA
TEMAS
HORAS
CLAVE BIBLIOGRFICA
T
Historia Programas relacionados con los compiladores Proceso de traduccin Estructuras de datos principales en un compilador Otras cuestiones referentes a la estructura del compilador Arranque automtico y portabilidad Lenguaje y compilador de muestra TINY Un lenguaje para un proyecto de compilador Ejercicios 1.5
EC
6.0 1B, 4B, 2C,3C
1.5
1.5
Subtotal
6.0
3.0
6.0
ESTRATEGIA DIDCTICA
Preparacin de los temas por parte del alumno antes de la clase bajo la gua del profesor. Desarrollo de trabajos extra clase y prcticas de laboratorio. Desarrollo de las definiciones formales y ejemplos de cada tema por parte del profesor.
PROCEDIMIENTO DE EVALUACIN
La evaluacin se har de manera diagnstica, formativa, de seguimiento y sumativa, considerando los siguientes aspectos para las unidades I y II: Participacin de las actividades en clase. Tareas extraclase. 10% Examen Departamental 60% - Prcticas de laboratorio 30%
CLAVE: CLA028
NOMBRE: Anlisis Lxico
HOJA: 4 DE 10
No. TEMA
TEMAS
HORAS
CLAVE BIBLIOGRFICA
T
El proceso de anlisis lxico Expresiones regulares Autmatas finitos Desde las expresiones regulares hasta los DFA Implementacin de un analizador lxico TINY (Diminuto) Uso de Lex para generar automticamente un analizador lxico Ejercicios 1.5 1.5 1.5 1.5 1.5 3.0 1.5
P
1.5 1.5
EC
6.0 1B, 4B,2C,3C,5C
1.5
Subtotal
12.0
4.5
6.0
ESTRATEGIA DIDCTICA
Investigacin de conceptos por parte del alumno. Desarrollar en clase las definiciones formales y ejemplos de cada tema por parte del profesor. Formacin de grupos para la solucin de ejercicios coordinados por el profesor. Realizacin de tareas y trabajos extra clase. Realizacin de prcticas de laboratorio.
PROCEDIMIENTO DE EVALUACIN
La evaluacin se har de manera diagnstica, formativa, de seguimiento y sumativa, considerando los siguientes aspectos para las unidades I y II: Participacin de las actividades en clase. Tareas extraclase 10% Examen Departamental 60% Prcticas de laboratorio. 30%
CLAVE: CLA028
NOMBRE: Anlisis Sintctico
HOJA: 5 DE 10
No. TEMA
TEMAS
HORAS
CLAVE BIBLIOGRFICA
T
Proceso del anlisis sintctico Gramticas libres de contexto rboles de anlisis gramticas y rboles sintcticos abstractos Ambigedad Notaciones extendidas: EBNF y diagramas de sintaxis Sintaxis del lenguaje TINY Anlisis sintctico descendente mediante mtodo descendente recursivo Anlisis sintctico LL(1) Un analizador sintctico descendente recursivo para el lenguaje TINY Recuperacin de errores en analizadores sintcticos descendentes Perspectiva general del anlisis sintctico ascendente Autmatas finitos de elementos LR(0)y anlisis sintctico LR(0) Anlisis sintctico SLR(1) Yacc: un generador de analizadores sintcticos LALR(1) Recuperacin de errores en analizadores sintcticos ascendentes Subtotal 3.0
EC
12.0 1B, 4B,2C,3C,5C
3.1 3.1.1 3.1.2 3.1.3 3.2 3.3 3.4 3.4.1 3.4.2 3.4.3 3.5 3.5.1 3.5.2 3.5.3 3.5.4
1.5
1.5 3.0
1.5
12.0
4.5
12.0
ESTRATEGIA DIDCTICA
Preparacin por parte de los alumnos, de los temas antes de la clase bajo la gua del profesor. Desarrollo en clase las definiciones formales y ejemplos de cada tema por parte del profesor. Desarrollo de trabajos extra clase con la finalidad de dominar cada tema. Realizacin de prcticas de laboratorio
PROCEDIMIENTO DE EVALUACIN
La evaluacin se har de manera diagnstica, formativa, de seguimiento y sumativa, considerando los siguientes aspectos para la unidad III: Participacin de las actividades en clase. Tareas extraclase 10% Examen departamental 60% Prcticas de laboratorio 30%
FSICO MATEMTICAS
ASIGNATURA: Compiladores
No. UNIDAD IV
CLAVE: CLA028
NOMBRE: Anlisis Semntico
HOJA: 6 DE 10
No. TEMA
TEMAS
HORAS
CLAVE BIBLIOGRFICA
T
Atributos y gramticas con atributos Algoritmos para clculo de atributos La tabla de smbolos Tipos de datos y verificacin de tipos Un analizador semntico para el lenguaje TINY Ejercicios 3.0 3.0 3.0 3.0
P
1.5 1.5 1.5 1.5
EC
6.0 1B, 4B, 2C,3C
Subtotal
12.0
4.5
6.0
ESTRATEGIA DIDCTICA
Preparacin por parte de los alumnos de los temas antes de la clase bajo la gua del profesor. Desarrollo en clase las definiciones formales y ejemplos de cada tema por parte del profesor. Desarrollo de trabajos extra clase con la finalidad de dominar cada tema. Realizacin de prcticas de laboratorio
PROCEDIMIENTO DE EVALUACIN
La evaluacin se har de manera diagnstica, formativa, de seguimiento y sumativa, considerando los siguientes aspectos: Participacin de las actividades en clase. Tareas extraclase 10% Examen Departamental 60% Prcticas de laboratorio. 30%
FSICO MATEMTICAS
ASIGNATURA: Compiladores
No. UNIDAD V
CLAVE: CLA028
NOMBRE: Cdigo Intermedio
HOJA: 7 DE 10
No. TEMA
TEMAS
HORAS
CLAVE BIBLIOGRFICA
T
Cdigo intermedio y estructuras de datos para generacin de cdigo Tcnicas bsicas de generacin de cdigo Tcnicas de optimacin de cdigo Ejercicios 1.5 1.5 3.0
P
1.5 1.5 1.5
EC
6.0 1B, 4B, 2C,3C
Subtotal
6.0
4.5
6.0
ESTRATEGIA DIDCTICA
Preparacin de los temas por parte de los alumnos antes de la clase bajo la gua del profesor. Desarrollo en clase las definiciones formales y ejemplos de cada tema por parte del profesor. Desarrollo de trabajos extra clase con la finalidad de dominar cada tema. Uso de recursos audiovisuales. Realizacin de prcticas de laboratorio
PROCEDIMIENTO DE EVALUACIN
La evaluacin se har de manera diagnstica, formativa, de seguimiento y sumativa, considerando los siguientes aspectos para las unidades IV, V y VI: Participacin de las actividades en clase. Tareas extraclase 10% Examen departamental 60% Prcticas de laboratorio 30%
CLAVE: CLA028
HOJA: 8 DE 10
No. TEMA
TEMAS
HORAS
CLAVE BIBLIOGRFICA
T
Generacin de cdigo de referencias de estructuras de datos Generacin de cdigo de sentencias de control y expresiones lgicas Generacin de cdigo de llamadas de procedimientos y funciones Generacin de cdigo en compiladores comerciales: dos casos de estudio TM: Una mquina objetivo simple 1.5 1.5 1.5 1.5
P
1.5 1.5 1.5 1.5
EC
8.0 1B, 4B,2C,3C
Subtotal
20.0
6.0
8.0
ESTRATEGIA DIDCTICA
Preparacin de los temas por parte del alumno antes de la clase bajo la gua del profesor. Desarrollo en clase las definiciones formales y ejemplos de cada tema por parte del profesor. Formacin de grupos para la discusin de resultados. Desarrollo de trabajos extra clase con la finalidad de dominar cada tema. Realizacin de prcticas de laboratorio
PROCEDIMIENTO DE EVALUACIN
La evaluacin se har de manera diagnstica, formativa, de seguimiento y sumativa, considerando los siguientes aspectos para las unidades IV, V y VI: Participacin de las actividades en clase. Tareas extraclase 10% Examen departamental 60% Prcticas de laboratorio 30%
HOJA: 9 DE
10
Total
27.0
PERODO UNIDAD
1 I , II
PROCEDIMIENTO DE EVALUACIN
10% - Programas y ejercicios desarrollados en clase y extra clase. 60% - Examen del periodo. 30% - Prcticas de laboratorio 10% - Programas y ejercicios desarrollados en clase y extra clase. 60% - Examen del periodo. 30% - Prcticas de laboratorio 10% - Programas y ejercicios desarrollados en clase y extra clase. 60% - Examen del periodo. 30% - Prcticas de laboratorio
III
IV , V
CLAVE
1 2 3 4 5 6
B
X X
BIBLIOGRAFA
Kenneth C. and Louden, Construccin de Compiladores Principios y Practica, Edit. Thomnson, Mxico 2003. p. 446 Alfred V. Aho Compiladores Principios, Tcnicas y Herramientas Edit. Addison-Wesley, U.S.A, Edic May 2000. p. 500
X X X X
F. Sanchis Llorca Compiladores, Teora y Construccin November 1991. p. 32-77 Kelley, Dean, Introduccin a la Teora de Autmatas y Lenguajes Formales, Edit. Prentice Hall, Espaa, Edic. 1995. p. 380 Kimber, Efim., Theory of Computing, Edit.Prentice Hall, Inglaterra, Edic.2001. p. 1-88 Flynn, Ida M., McHoes, Ann M. Sistemas Operativos International Thomson Editores, Tercera Edicin, 2003. p. 235-271 Hopcroft,John E. and Ullman Jefrey D. Introduccin a la Teora de Autmatas, Lenguajes y Computacin Edit. Addison-Wesley, U.S.A, Edic. 2002. p. 91-233, p. 273-326
ASIGNATURA:
Ingeniera o Maestra
El alumno disear un compilador que funcione completamente y con cada una de sus partes. Explicar las etapas de diseo y su trabajo respectivo en la traduccin de un lenguaje de alto nivel hasta uno de bajo nivel.
3. PERFIL DOCENTE: CONOCIMIENTOS Experiencia en programacin de alto y bajo nivel, conocimientos tericos de teora de Autmatas, Anlisis de Algoritmos y Estructuras de Datos. EXPERIENCIA PROFESIONAL Haber Impartido clase en Nivel Superior. Formacin pedaggica. Programacin en algn lenguaje de computacin. Comunicacin (Transmisin del conocimiento). Capacidades de anlisis y sntesis. Motivacin al alumno. Manejo de materiales didcticos. HABILIDADES Dominio de la asignatura. Manejo de grupos. Honestidad. Ejercicio de la crtica fundamentada. Respeto (buena relacin maestro-alumno). Tolerancia. tica. Espritu de colaboracin. Superacin docente y profesional. ELABOR __________________________ Ing. Jorge Fernando Veloz Ortiz Presidente de la Academia de Computacin REVIS __________________________ M. en C. Alberto Paz Gutirrez Subdirector Acadmico AUTORIZ ________________________ Ing. Ernesto Mercado Escutia Director
FECHA: Agosto 2005