PROGRAMA

ACADMICO

INGENIERA DE SISTEMAS DISTANCIA PE 301 SEMESTRES

BOGOT D.C.

ASIGNATURA ESPECIALIZACIN III CODIGO 372113 CAMPO DE FORMACION INGENIERA SISTEMAS SEMESTRE ONCE Objetivos Presentar los elementos fundamentales de la teora de autmatas y lenguajes formales usada en el desarrollo de compiladores. - Presentar el proceso de construccin de compiladores, como un proceso sistemtico que le permita ver al estudiante que el desarrollo de software es una ciencia y no una tarea artesanal. - Ilustrar de manera precisa y concisa el proceso realizado por un compilador, como C, para transformar un programa escrito en un lenguaje de alto nivel a un lenguaje de bajo nivel entendido por una maquina abstracta capaz de ejecutarlo en un computador. Este proceso se puede desglosar de la siguiente manera: Anlisis lxico Usa la teora de autmatas finitos, expresiones regulares y hace un uso extensivo de elementos bsicos de programacin fundamentalmente el manejo de cadenas y archivos. Anlisis sintctico Usa la jerarqua de Chomsky y Estructuras de Datos como los rboles y las tablas. Anlisis Semntico Usa elementos de teora de tipos y evaluacin de funciones. Generacin de Cdigo Usa lenguaje de bajo nivel y estructuras de datos como la pila. Ejecucin de cdigo Usa el concepto de mquina de pila abstracta. Metodologa El curso se desarrollar mediante clases magistrales dadas por el profesor en donde se aplicarn todos los tpicos tericos del programa con sus diferentes aplicaciones, se realizarn talleres en grupos con asesoras directa del profesor titular. Se dejaran ejercicios para que los estudiantes los desarrollen fuera de clase. Justificacin El desarrollo de compiladores permite a partir de un programa escrito en un lenguaje de programacin de alto nivel, crear un programa en un lenguaje de bajo nivel que puede ser ejecutado en algn computador, ha sido un tema que las ciencias de la computacin han estudiado desde los aos 30 y cuya fundamentacin terica - practica es de las ms elaboradas y conocidas. Es por esto que para desarrollar un compilador existe todo un proceso metodolgico fundamentado en conceptos netamente matemticos y el cual siempre llega a ser exitoso.

Bibliografa Compiladores, Principios y Tcnicas. Autor. Aho. Editorial. Educativa Evaluacin La evaluacin de todo el proceso es tan importante como las evaluaciones parciales que se vayan realizando a diferentes subprocesos. Esta posibilita realizar ajustes y rectificar las fallas cuando se presenten. Se pueden utilizar todas las variantes de la evaluacin; la evaluacin tiene que ser permanente. Informacin adicional de la materia Ttulo: CONTENIDOS Duracin: 64 Descripcin: 1. ANLISIS SEMNTICO 1.1.Teora de tipos 1.2.Comprobacin de tipos 1.3.Evaluacin de expresiones 1.4.Semntica de la asignacin, la seleccin y la repeticin. 1.5. Semntica de entrada y salida 1.6.La tabla de smbolos extendido 2.GENERACIN DE CDIGO 2.1.La maquina de pila abstracta 2.2.Generacin de cdigo de expresiones matemticas 2.3.Generacin de cdigo de asignaciones, selecciones y ciclos 2.4.Generacin de cdigo entrada/ salida 2.5.La tabla de smbolos reducida 3.EJECUCIN DE CDIGO 4.Implementacin de la mquina de pila simple 5.Implementacin de la mquina de pila con tipos