INSTITUTO TECNOLGICO SUPERIOR DE EL MANTE Asignatura: LENGUAJES Y AUTOMATAS II Profesor: M.D. I.S.

C Miguel ngel Garca Morales Horario: 12:10 13:05 Saln: 1104 y CC Caracterizacin de la Materia (Aportacin al perfil del egresado)
En esta 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. Esta asignatura busca proveer al estudiante de herramientas, conocimientos y habilidades necesarias para desarrollar un compilador con base en los conocimientos previos de la asignatura lenguajes y autmatas I. La aportacin de esta materia es relevante en el mbito del desarrollo de software de sistemas. Es indispensable distinguir que la carrera de Ingeniera en Sistemas Computacionales se basa no slo en el desarrollo de software comercial y administrativo, sino tambin en el desarrollo de software cientfico y para el desarrollo tecnolgico. Esta materia se ubica en la segunda categora y es indispensable desarrollar software en estos campos para preparar a los egresados y tengan la posibilidad de cursar posgrados de alto nivel. La asignatura trata de concretar un traductor iniciado en la materia previa para que el estudiante comprenda que es capaz, mediante tcnicas bien definidas, de crear su propio lenguaje de programacin. La aportacin de la asignatura al perfil del egresado ser especficamente la siguiente: Desarrollar, implementar y administrar software de sistemas o de apl icacin que cumpla con los estndares de calidad buscando como finalidad apoyar la productividad y competitividad de las organizaciones. Integrar soluciones computacionales con diferentes tecnologas, plataformas o dispositivos. Disear e implementar interfaces hombre mquina y mquina mquina para la automatizacin de sistemas. Identificar y comprender las tecnologas de hardware para proponer, desarrollar y mantener aplicaciones eficientes. Competencias especficas a desarrollar (Objetivo(s) General(es) del Curso) Desarrollar software de base: traductor, intrprete o compilador.

TEMARIO
Unidad 1 Temas Anlisis semntico. Subtemas 1.1. Arboles de expresiones. 1.2. Acciones semnticas de un analizador sintctico. 1.3. Comprobaciones de tipos en expresiones. 1.4. Pila semntica en un analizador sintctico. 1.5. Esquema de traduccin. 1.6. Generacin de la tabla de smbolo y de direcciones. 1.7. Manejo de errores semnticos. 2.1 Notaciones 2.1.1 Prefija 2.1.2 Infija 2.2.3 Postfija 2.2 Representaciones de cdigo Intermedio. 2.2.1 Notacin Polaca 2.2.2 Cdigo P 2.2.3 Triplos 2.2.4 Cudruplos. 2.3 Esquema de generacin. 2.3.1 Variables y constantes. 2.3.2 Expresiones. 2.3.3 Instruccin de asignacin. 2.3.4 Instrucciones de control. 2.3.5 Funciones 2.3.6 Estructuras 3.1 Tipos de optimizacin. 3.1.1 Locales. 3.1.2 Ciclos. 3.1.3 Globales. 3.1.4 De mirilla. 3.2 Costos.

Generacin de cdigo intermedio.

Optimizacin.

Generacin de cdigo objeto.

3.2.1 Costo de ejecucin. (memoria, registros, pilas) 3.2.2 Criterios para mejorar el cdigo. 3.2.3 Herramientas para el anlisis del flujo de datos. 4.1 Registros. 4.2 Lenguaje ensamblador. 4.3 Lenguaje mquina. 4.4 Administracin de memoria.

FUENTES DE INFORMACIN. 1.- Aho, Sethi, Ullman, Compiladores Principios, tcnicas y herramientas, Ed. Addison Wesley. 2.- Hopcroft John E., Introduccin a la Teora de Autmatas, Lenguajes y Computacin, 2da ed, Ed. Addison Wesley, 2004. 3.- Lemone Karen A. , Fundamentos de compiladores Cmo traducir al lenguaje de computadora, Ed. Compaa Editorial Continental. 4.- Martin John, Lenguajes formales y teora de la computacin, Ed. Mc Graw Hill.

FUENTES ELECTRNICAS 5.- Dr. Sergio Glvez Rojas y Miguel ngel Mora Mata ,Compiladores Traductores y Compiladores con Lex/Yacc, JFlex/Cup y JavaCC, , http://www.lcc.uma.es/~galvez/Compiladores.html, 3/nov/2009 6. Dr. Sergio Glvez Rojas y Miguel ngel Mora Mata, http://www.lcc.uma.es/~galvez/tci.html,, 3/nov/2009 7. Descargar PCLEX y PCYACC, [publicacin en lnea], http://www.abxsoft.com/, 3/nov/2009 8. The Lex & Yacc Page, 3-mar-04, 12:45, http://dinosaur.compilertools.net 9. A compact guide to lex & Yacc, Thomas Niemann, 3-Mar-04, 12:50, http://epaperpress.com/lexandyacc

10. Lex & Yacc HOWTO, Bert Hubert (PowerDNS.COM.BV), 3-Mar-04, 12:55, http://ds9a.nl/lex_yacc 11. 2/Ago/2005 ,Microprocessor Emulator and Assembler 3.10-k, http://software.intel.com/en-us/articles/all/1/, 24/feb/2010 PRACTICAS PROPUESTAS Unidad 1 1. Disear y construir el generador de cdigo semntico para el lenguaje del caso de estudio. 2. Realizar arboles de expresiones en casos de estudio. 3. Realizar conversiones de tipos en expresiones. 4. Construir la tabla de smbolos y de direcciones para la gramtica propuesta 5. Detectar errores de semntica en expresiones dadas. Unidad 2 1. Modificar la GLC agregando las acciones semnticas correspondientes. 2. Convertir expresiones mediante el uso de notaciones prefijas, infijas y postfijas. 3. Definir e implementar la notacin que ms se ajuste a las estructuras de evaluacin de expresiones de lenguaje. 4. Proponer una estructura de cdigo intermedio en base a las caractersticas propias de cada lenguaje. 5. Desarrollar esquemas de generacin de cdigo intermedio 6. Definir y construir el generador de cdigo intermedio para su caso de estudio. Unidad 3 1. Agregar acciones de representacin intermedia al lenguaje de programacin propuesto. 2. Saber cuntos recursos y cunto tiempo consume cada instruccin de cdigo intermedio 3. Evaluar el cdigo intermedio generado para los programas escritos en el lenguaje de su caso de estudio y si aplica realizar la optimizacin correspondiente. Unidad 4 1. Poder establecer una equivalencia entre las instrucciones del lenguaje intermedio y las instrucciones en ensamblador. 2. Disear y construir el generador de cdigo mquina u objeto para el lenguaje del caso de estudio.

13 de Septiem bre

11 de Octubre

08 de Noviemb re

06 de Diciembr e

Nota: Todas las fechas son tentativas como fecha lmite y las prcticas podran cambiar de acuerdo a la necesidad del transcurso del semestre.

CRITERIOS DE EVALUACION POR UNIDAD Unidad 1 Anlisis semntico Examen 50% Analizador Semntico 10% Participacin 10% Portafolio 10% Tareas 10% Ejercicios 10% Unidad 2 Generacin de cdigo intermedio Examen 50% Generador de cdigo intermedio 10% Participacin 10% Portafolio 10% Tareas 10% Ejercicios 10% Unidad 3 Optimizacin Examen 50% Optimizacin de cdigo 10% Participacin 10% Portafolio 10% Tareas 10% Practicas 10% Unidad 4 Generacin de cdigo objeto Examen 50% Generador de Cdigo Objeto 10% Participacin 10% Portafolio 10% Tareas 10% Practicas 10%

----------REGLAS DE CONDUCTA EN EL SALN--------Se aplicar el cdigo de Deshonestidad Acadmica. Tolerancia mnima de 5 minutos una vez que el profesor este dentro del aula. Los equipos sern asignados por el profesor, y no se reharn ni se aceptarn trabajos individuales cuando se pida entrega en equipo. Cualquier otra conducta quedar a criterio del profesor.

-----CRITERIOS DE EVALUACION (OPORTUNIDADES DE EXAMEN)----1.- NORMAL.- Se evala sobre 100 2.- COMPLEMENTACION.- Se evala sobre 80