Professional Documents
Culture Documents
SATCA1: 2 - 3 - 5
2. Presentacin
Caracterizacin de la asignatura
En sta asignatura se debe desarrollar el anlisis semntico, la generacin de cdigo, la optimizacin
y la generacin del cdigo objeto para obtener el funcionamiento de un compilador.
La asignatura trata de concretar un traductor iniciado en la asignatura previa para que el estudiante
comprenda que es capaz, mediante tcnicas bien definidas, de crear su propio lenguaje de
programacin.
Intencin didctica
La asignatura consta de cuatro bloques estructurados y definidos que abarcan la ltima etapa de la fase
de anlisis y sntesis. Al trmino del semestre se debe obtener un compilador o traductor completo,
funcionando de acuerdo a ciertas restricciones y requisitos.
La primera unidad se centra totalmente en el analizador semntico, por lo que el analizador sintctico
debi ser concluido en la asignatura de lenguajes y autmatas I, ya que servir de base en esta unidad.
1
Sistema de Asignacin y Transferencia de Crditos Acadmicos
En la segunda unidad se analizan las tcnicas para generar cdigo intermedio, para incluirse en su
proyecto.
La tercera unidad se centra en la optimizacin del cdigo. Es importante hacer notar que de sta fase
depende la buena y eficiente ejecucin del cdigo objeto.
En el ltimo bloque se aborda el tema de la generacin de cdigo objeto. Como paso final, es
importante que el cdigo resultante sea eficiente y pueda correr directamente sobre la computadora en
lenguaje ensamblador o basndose en microinstrucciones.
Lugar y fecha de
Participantes Evento
elaboracin o revisin
4. Competencia(s) a desarrollar
Competencia(s) especfica(s) de la asignatura
Implementa un compilador para un lenguaje especfico considerando las etapas del mismo.
5. Competencias previas
Define, disea y programa las fases del analizador lxico y sintctico de un traductor o compilador
para prembulo de la construccin de un compilador.
6. Temario
1. Anlisis semntico.
Disear y construir el generador de cdigo semntico para el lenguaje del caso de estudio.
Realizar arboles de expresiones en casos de estudio.
Realizar conversiones de tipos en expresiones.
Construir la tabla de smbolos y de direcciones para la gramtica propuesta.
Detectar errores de semntica en expresiones dadas.
Modificar la GLC agregando las acciones semnticas correspondientes.
Convertir expresiones mediante el uso de notaciones prefijas, infijas y postfijas.
Definir e implementar la notacin que ms se ajuste a las estructuras de evaluacin de expresiones
de lenguaje.
Proponer una estructura de cdigo intermedio en base a las caractersticas propias de cada lenguaje.
Desarrollar esquemas de generacin de cdigo intermedio.
Definir y construir el generador de cdigo intermedio para su caso de estudio.
Agregar acciones de representacin intermedia al lenguaje de programacin propuesto.
Saber cuntos recursos y cunto tiempo consume cada instruccin de cdigo intermedio.
Evaluar el cdigo intermedio generado para los programas escritos en el lenguaje de su caso de
estudio y si aplica realizar la optimizacin correspondiente.
Poder establecer una equivalencia entre las instrucciones del lenguaje intermedio y las
instrucciones en ensamblador.
Disear y construir el generador de cdigo mquina u objeto para el lenguaje del caso de estudio.
9. Proyecto de asignatura
El objetivo del proyecto que plante el docente que imparta esta asignatura, es demostrar el desarrollo
y alcance de la(s) competencia(s) de la asignatura, considerando las siguientes fases:
Fundamentacin: marco referencial (terico, conceptual, contextual, legal) en el cual se
fundamenta el proyecto de acuerdo con un diagnstico realizado, mismo que permite a los
estudiantes lograr la comprensin de la realidad o situacin objeto de estudio para definir un
proceso de intervencin o hacer el diseo de un modelo.
Planeacin: con base en el diagnstico en esta fase se realiza el diseo del proyecto por parte de
los estudiantes con asesora del docente; implica planificar un proceso: de intervencin
empresarial, social o comunitario, el diseo de un modelo, entre otros, segn el tipo de proyecto,
las actividades a realizar los recursos requeridos y el cronograma de trabajo.
Ejecucin: consiste en el desarrollo de la planeacin del proyecto realizada por parte de los
estudiantes con asesora del docente, es decir en la intervencin (social, empresarial), o
construccin del modelo propuesto segn el tipo de proyecto, es la fase de mayor duracin que
implica el desempeo de las competencias genricas y especificas a desarrollar.
Evaluacin: es la fase final que aplica un juicio de valor en el contexto laboral-profesin, social e
investigativo, sta se debe realizar a travs del reconocimiento de logros y aspectos a mejorar se
estar promoviendo el concepto de evaluacin para la mejora continua, la metacognicin, el
desarrollo del pensamiento crtico y reflexivo en los estudiantes.
Para evaluar las actividades de aprendizaje se recomienda solicitar: mapas conceptuales, reportes de
prcticas, estudios de casos, exposiciones en clase, ensayos, problemarios, reportes de visitas,
portafolio de evidencias y cuestionarios, cuadro sinptico.
Para verificar el nivel del logro de las competencias del estudiante se recomienda utilizar: listas de
cotejo, listas de verificacin, matrices de valoracin, guas de observacin, coevaluacin y
autoevaluacin.
Impresas:
1. Aho Alfred V., U. J. (2007). Compiladores. Principios, tcnicas y herramientas (2da. ed.).
Mxico: Pearson Educacin.
2. Alfonseca Moreno, M. (2006). Compiladores e intrpretes: teora y prctica (1ra ed.). Espaa:
Pearson/Prentice Hall.
3. Carrin Viramontes, J. E. (2008). Teora de la computacin. Mxico: Limusa.
4. Hopcroft John E., M. R. (2002). Introduccin a la Teora de Autmatas, Lenguajes y
Computacin (2da. ed.). Madrid: Addison-Wesley.
5. Isasi Pedro, M. P. (1997). Lenguajes, gramticas y autmatas. Un enfoque Prctico. Addison-
Wesley.
6. Kelley, D. (1995). Teora de Autmatas y Lenguajes Formales, (1ra. ed.). Madrid: Prentice Hall.
7. Lemone, K. A. (1996). Fundamentos de compiladores: cmo traducir al lenguaje de
computadora. Mxico D.F.: Compaa Editorial Continental.
8. Martin, J. (2004). Lenguajes formales y teora de la computacin. Mxico: McGraw-Hill /
Interamericana de Mxico.
9. Ruz, J. (2009). Compiladores-Teora e implementacin. Mxico: Alfaomega.
10. Grune, Dick. (2007). Diseo de compiladores modernos. McGraw-Hill.
Electrnicas:
11. Sacristn Donoso, Juan Marcos. Desarrollo de compiladores. Obtenido de
http://megazar.tripod.com/compil.pdf
12. COFETEL (Comisin Federal de Telecomunicaciones). (2014). Industria. Obtenido de
http://www.cft.gob.mx:8080/portal/industria-2/industria-intermedia-nv/
13. Corning Incorporated. (2014). Corning Telecommunications. Obtenido de
http://www.corning.com/products_services/telecommunications/index.aspx
http://megazar.tripod.com/compil.pdf
http://www.youtube.com/watch?v=YyAhap8HJmc
http://www.youtube.com/watch?v=tV-lgtT2IjY