Programación (Curso: primero - Cuatrimestre: primero) Tería de Autómatas y Lenguajes Formales (Curso: segundo - Cuatrimestre: primero)

RA1.2: Conocimiento y comprensión de las disciplinas de ingeniería propias de su especialidad, en el nivel necesario para adquirir el resto de competencias del título, incluyendo nociones de los últimos adelantos. RA2.1: La capacidad de analizar productos, procesos y sistemas complejos en su campo de estudio; elegir y aplicar de forma pertinente métodos analíticos, de cálculo y experimentales ya establecidos e interpretar correctamente los resultados de dichos análisis. RA2.2: La capacidad de identificar, formular y resolver problemas de ingeniería en su especialidad; elegir y aplicar de forma adecuada métodos analíticos, de cálculo y experimentales ya establecidos; reconocer la importancia de las restricciones sociales, de salud y seguridad, ambientales, económicas e industriales. RA3.1: Capacidad para proyectar, diseñar y desarrollar productos complejos (piezas, componentes, productos acabados, etc.), procesos y sistemas de su especialidad, que cumplan con los requisitos establecidos, incluyendo tener conciencia de los aspectos sociales, de salud y seguridad, ambientales, económicos e industriales; así como seleccionar y aplicar métodos de proyecto apropiados. CGO3: Capacidad para diseñar, desarrollar, evaluar y asegurar la accesibilidad, ergonomía, usabilidad y seguridad de los sistemas, servicios y aplicaciones informáticas, así como de la información que gestionan. CGO4: §   CGO4: Capacidad para definir, evaluar y seleccionar plataformas hardware y software para el desarrollo y la ejecución de sistemas, servicios y aplicaciones informáticas, de acuerdo con los conocimientos adquiridos. CECRI6: Conocimiento y aplicación de los procedimientos algorítmicos básicos de las tecnologías informáticas para diseñar soluciones a problemas, analizando la idoneidad y complejidad de los algoritmos propuestos. CECRI8: Capacidad para analizar, diseñar, construir y mantener aplicaciones de forma robusta, segura y eficiente, eligiendo el paradigma y los lenguajes de programación más adecuados. CTE1: Capacidad para conocer los fundamentos teóricos de los lenguajes de programación y las técnicas de procesamiento léxico, sintáctico y semántico asociadas, y saber aplicarlas para la creación, diseño y procesamiento de lenguajes.

Descriptores: Representación de lenguajes, Análisis léxico, Análisis sintáctico, Análisis Semántico, Generación de código, Recuperación de errores, Optimización de código TEMA I: Introducción Historia de los compiladores y lenguajes Conceptos básicos Lenguajes y Gramáticas Definiciones formales de Gramática, Expresiones Regulares y Autómata Fases y estructura de un compilado Diagramas de Tombston TEMA II: Análisis Léxico Diseño de un Analizador Léxico Autómatas Finitos reconocedores de Lenguajes Regulares Construcción de un Autómata Finito. Ejemplos Generadores Automáticos de Analizadores Léxicos: LEX Manejo de Errores Léxicos TEMA III: Análisis Sintáctico Introducción al Análisis Sintáctico Clasificación de los métodos de Análisis Sintáctico Análisis Descendente, Análisis Sintáctico LL Obtención de la tabla LL(1). Ejemplos Análisis Ascendente, Análisis Sintáctico LR Tratamiento de Gramáticas Ambiguas. Ejemplos Generadores automáticos de Analizadores Sintácticos: YACC TEMA IV: Tratamiento de Errores Sintáctico Errores. Estrategias de Detección y Recuperación. Ejemplos Recuperación con diferentes analizadores Analizador descendente L Analizador ascendente de precedencia de operador Analizador ascendente L TEMA V: Análisis Semántico Gramáticas de Atributos, Ejemplos, Formalización Especificación de un traductor: Traducción Dirigida por Sintaxis y Esquemas de Traducción Evaluación de gramáticas Construcción de árboles de sintaxis abstracta TEMA VI: Verificación de Tipo Introducció Expresiones de tipo Sistemas de tipos. Comprobación estática y dinámico Ejemplo de construcción y verificación de tipos sencillo Equivalencia de expresiones de tipos Sobrecarga y Orientación a Objetos TEMA VII: Generación de Código Intermedio Tipos de Lenguajes Intermedios Códigos de tres direcciones. Alternativas Generación de código intermedio: declaraciones, expresiones aritméticas, arrays Sentencias de flujo de control TEMA VIII: Generación de Código Máquina Código máquina y máquina objetivo Opciones de código máquina Instrucciones y direccionamiento y coste Generación simple de código a partir de lenguaje intermedio Bloques básicos y grafos de flujo Asignación de registro Traducción de otras instrucciones TEMA IX: Tabla de Símbolos y Entorno de Ejecución Asignación de memoria Asignación estática y dinámica Gestión de pila y montículo. Ejemplos Llamadas a funciones Registros de activación Paso de parámetros Operaciones y organización de la tabla de símbolos TEMA X: Optimización de Código Concepto de Optimización de código Optimización local sobre bloques básicos Transformaciones que preservan la función Eliminación de código inactivo Optimización de bucles Análisis global del flujo de datos TEMA XI: Aspectos Específicos Otros procesadores de lenguajes Intérpretes Preprocesadores y macroprocesadores Diseño de lenguajes Estructuras de datos y de control Aspectos de compilación para tipos específicos de lenguajes Algunos ejemplos de compiladores

Clases Teóricas: 1.5 ECTS. Tienen por objetivo alcanzar las competencias específicas cognitivas de la asignatura. Clases Prácticas: 1.5 ECTS. Desarrollan las competencias específicas instrumentales y la mayor parte de las transversales, como son la de trabajo en equipo, capacidad de aplicar los conocimientos a la práctica, de planificar y organizar y de análisis y síntesis. También tienen por objetivo desarrollar las capacidades específicas actitudinales. Consisten en el diseño y desarrollo de un proyecto de compilador/intérprete elaborado en grupos de trabajo Realización de Actividades Académicas Dirigidas - Con presencia del profesor: 1 ECTS Planteamiento de un estudio, orientado por el profesor pero propuesto por el alumno, donde profundiza sobre algún aspecto de la materia, realizando una exposición pública del mismo. - Sin presencia del profesor: 1.5 ECTS. Ejercicios y lecturas complementarias propuestas por el profesor. Ejercicios y Examen: 0.5 ECTS. Tienen por objeto incidir y complementar en el desarrollo de las capacidades específicas cognitivas y procedimentales.