Temática del curso

NOMBRE DE LA ASIGNATURA

MODELOS DE PROGRAMACIÓN DE SISTEMAS

DESCRIPCION DE LA ASIGNATURA

En este curso el alumno estudiará una serie de técnicas y teorías necesarias en la construcción de compiladores. Esto con el propósito de que se puedan aplicar en el desarrollo de proyectos análogos o equivalentes a la construcción de compiladores de lenguajes de programación

JUSTIFICACION

OBJETIVO GENERAL

Proveer al estudiante de técnicas y teorías necesarias en la construcción de compiladores

OBJETIVOS ESPECÌFICOS

El estudiante será capaz de desarrollar técnicas prácticas en la construcción de compiladores.

CONTENIDO

Introducción. Análisis léxico. Elementos de un lenguaje. Operaciones en lenguajes. Expresiones y definiciones regulares. Reconocimiento de tokens. Implementación de diagramas de transición. Autómatas finitos. Autómatas determinísticos y no determinísticos. Transformación de autómatas. Conversión de expresiones regulares a autómatas no Determinísticos y viceversa. Diseño de un analizador léxico. Optimización de autómatas determinísticos. Minimización de estados de un autómata determinístico. Análisis sintáctico. El rol del analizador sintáctico. Manejo y recuperación de errores. Gramáticas. Libres de contexto. Arbol de análisis y derivaciones. Ambigüedad. Expresiones regulares vs gramáticas libres de contexto. Eliminando ambigüedad. Eliminando reexcursión izquierda. Factorización izquierda. Análisis descendente y ascendente. Algunos modelos descendentes y ascendentes Análisis semántico. Definiciones dirigidas por sintaxis. Construcción de árboles sintácticos. Árboles acíclicos. Grafos acíclicos dirigidos para expresiones. Traducción descendente. Espacio para valores de atributos en tiempo de compilación. Chequeo de tipos ( Investigación ).

METODOLOGIA

Exposiciones magistrales e investigación por parte de los estudiantes.

EVALUACION

Quizzes y tareas 20% Primer parcial 15% Segundo parcial 20% Tercer parcial 15% Proyecto 30% TOTAL 100%

BIBLIO E INFOGRAFIA

Aho, Alfred V., Sethi Ravi y Ulman Jefrey. Compiladores, Principios, técnicas y herramientas. Versión en español. Addison-Wesley. Terry, Patrick D. Programing Language Translation. A Practical Approach. Addison-Wesley.