Bienvenidos a Grupo T. L.GST12 P. ASIGNATURA: Teoría de Lenguajes de Programación MATERIA: Programación CARÁCTER: Común en el Grado TITULACIÓN: Graduado en Ingeniería del Software/Computadores CURSO/SEMESTRE: 2º/4º CURSO/ACADÉMICO: 2014-2015 CRÉDITOS : 6 ECTS Presentación - TLP DEPARTAMENTO: NOMBRE Y APELLIDOS (C = Coordinador José Gabriel Pérez Díez Félix Cantero Martín Jesús Reviejo Sánchez Jesús López Sánchez (C) Lenguajes, Proyectos y Sistemas Informáticos PROFESORADO DESPACHO Correo electrónico 1207 1227 1213 1213 DEPARTAMENTO: [email protected] [email protected] jreviejo2eui.upm.es [email protected] IS TUTORIAS Lunes 9:00-11:00 Martes 11:00-14:00 Presentación - TLP 13:00-14:00 COMPETENCIAS CG13 I12 I4 Razonamiento crítico 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 Conocimiento de los fundamentos del uso y programación de los computadores, los sistemas operativos, las bases de datos y, en general, los programas informáticos con aplicación en ingeniería. RESULTADOS DE APRENDIZAJE RA73 Comprende los elementos de lenguajes de programación de distintitos paradigmas RA78 Utiliza entornos y herramientas de desarrollo RA305 Conoce y usa mecanismos regulares de especificación RA306 Escribe gramáticas y sabe valorar sus propiedades RA311 Utiliza herramientas de generación automática de analizadores léxicos RA312 Utiliza herramientas de generación automática de analizadores sintácticos Conoce fundamentos de los analizadores sintácticos RA314 En un texto científico técnico identifica el problema, los postulados y premisas del autor así como los conceptos necesarios para el razonamiento, distinguiendo los datos y las opiniones, presentando la información relevante de forma organizada RA348 Usa mecanismos regulares de especificación RA349 Aplica los fundamentos de los autómatas de pila RA350 Analiza y escribe gramáticas de Tipo 2 RA351 Aplica los fundamentos de los analizadores sintácticos RA352 Transforma gramáticas para implementar analizadores LL(1) RA353 Escribe gramáticas de atribuidas especificando la semántica Presentación - TLP TEMA Tema 1 CONTENIDOS ESPECÍFICOS (TEMARIO) APARTADOS Lenguajes de programación 1.1 Características de los lenguajes de programación 1.2 Clases de procesadores. Simbología 1.3 Lenguajes intermedios. Máquina virtual 1.4 Lenguajes de programación Tema 2 Tema 3 Tema 4 Lenguajes formales 2.1 Concepto de lenguaje formal. Operaciones 2.2 Lenguajes formales y lenguajes de programación 2.3 Especificación de lenguajes 2.4 Gramáticas Mecanismos regulares y Lexicografía 3.1 Expresiones regulares. Lenguajes denotados 3.2 Autómatas regulares. Lenguajes reconocidos 3.3 Gramáticas regulares. Lenguajes generados 3.4 Transformaciones entre mecanismos regulares Implementación de la lexicografía 4.1 Especificación de la lexicografía de un lenguaje de programación 4.2 Diseño de un analizador lexicográfico 4.3 Implementación de analizadores léxicos 4.4 Herramientas para implementar analizadores léxicos Presentación - TLP CONTENIDOS ESPECÍFICOS (TEMARIO) APARTADOS TEMA Gramáticas y Sintaxis Tema 5 5.1 Gramáticas independientes del contexto 5.2 transformaciones en una gramática 5.3 Autómatas a pila 5.4 Gramáticas LL(K) y LR(K) Tema 6 Tema 7 Implementación de la sintaxis 6.1 Especificación de la sintaxis de un lenguaje de programación 6.2 Diseño de un analizador sintáctico 6.3 Gramáticas LL(1). Símbolos directores 6.4 Implementación de un analizador DPR 6.5 Herramientas para implementar analizadores sintácticos Gramáticas con Atributos y Semántica 7.1 Gramáticas de tipo 1 y de tipo 0 7.2 Definición de gramáticas atribuidas 7.3 Evaluación de atributos 7.4 Especificación de la semántica de lenguajes de programación Presentación - TLP RECURSOS DIDÁCTICOS BIBLIOGRAFÍA Teoría de Lenguajes de Programación. Una Aproximación Práctica a la Teoría de Autómatas y Lenguajes Formales. J. Alberto de Frutos Velasco; Jesús López Sánchez; José Gabriel Pérez Diez [Departamento de Publicaciones de la E.U.I. 1998 ] Teoría de Autómatas y Lenguajes Formales Dean Kelley. [Prentice Hall, 1995] Teoría de la Computación.Lenguajes Formales, Autómatas y Complejidad J.Glenn Brookshear. [Addison-Wesley Iberoamericana, 1993 ] The Theory of Parsing, Translation and Compiling. Volume I Alfred V. Aho, Jeffrey D. Ullman. [Prentice Hall, 1972] Concepts of Programming Languages Robert W. Sebesta. [Pearson International, 2008] Syntax Analysis and Software Tools K. John Gough. [Addison Wesley, 1988] RECURSOS WEB EQUIPAMIENTO Apuntes para las clases – Grupo GSM-22 http://www.lpsi.eui.upm.es/ ( mas información /profesores/Félix/) Documentación para clase Plataforma moodle Aula 3202 de la EUI Laboratorio de LPSI o de la Escuela Presentación - TLP EVALUACIÓN DESCRIPCIÓN DE LAS ACTIVIDADES QUE SE EVALÚAN MOMENTO LUGAR Ver Evaluación mediante un examen escrito sobre los cronograma de Aula trabajos y ejercicios propuestos y realizados en clase actividades Ver Actividad práctica relativa a la implementación de Trabajo cronograma de analizadores léxicos usando herramientas. personal actividades Ver Actividad práctica relativa a la implementación de Trabajo cronograma de analizadores sintácticos usando herramientas. personal actividades Aula/ Examen escrito Fin semestre Examen El estudiante debe superar este examen escrito con una nota igual o superior a 4 Presentación - TLP PESO 20% 15% 20% 45% CRITERIOS DE CALIFICACIÓN - JUNIO Solicitud tipo de evaluación: Los alumnos disponen de cuatro semanas (hasta el 27 de febrero a las 14:00 horas) desde el comienzo del curso para solicitar en la Secretaría del Departamento mediante escrito dirigido al coordinador de la asignatura. Pasado este plazo se determina que todos los que no lo hayan solicitado quedan adscritos al sistema de evaluación continua. Superación de la Asignatura en EVALUACIÓN CONTINUA. JUNIO: ■ Aprobar (5.0) la actividad léxica y la actividad sintáctica. Dentro del proceso de evaluación de las actividades prácticas se podrá llamar al alumno para que defienda presencialmente la práctica. ■ Aprobar (4.0) el control escrito final ■ Se evaluará por parte de cada profesor la asistencia, participación en aula y la correcta resolución de los controles propuestos dentro de los plazos establecidos por cada profesor. Los estudiantes que no superen completamente la asignatura en Junio deberán presentarse al examen de Julio de acuerdo con la normativa establecida. Superación de la Asignatura en EVALUACIÓN NO CONTINUA. JUNIO: ■ Aprobar (5.0) la actividad práctica léxica y sintáctica específica de evaluación No continua. Dentro del proceso de evaluación de esta actividad se podrá llamar al alumno para que defienda presencialmente su solución. Si se detecta copia la práctica estará suspensa ■ Aprobar (5.0) el control escrito específico final Los estudiantes que no superen completamente la asignatura en Junio deberán presentarse al examen de Julio de acuerdo con la normativa establecida. Presentación - TLP CRITERIOS DE CALIFICACIÓN - JULIO Superación de la asignatura en el EXAMEN FINAL de JULIO Todos los alumnos, independientemente del sistema de evaluación que hayan escogido durante el curso, si no han aprobado la asignatura completamente en Junio, deberán realizar una actividad práctica para este examen, cuyo enunciado se publicará antes de la finalización del curso, y realizar un examen escrito final. Sistema de Evaluación Actividad léxica y sintáctica: 35%, y examen escrito final: 65% Superación de la Asignatura: para que un alumno apruebe la asignatura necesitará: Aprobar (5.0) la práctica léxico y sintáctica. Dentro del proceso de evaluación de esta actividad se podrá llamar a un alumno para que defienda presencialmente su solución. Si se detecta copia la práctica estará suspensa Aprobar (5.0) el control escrito final Presentación - TLP SEMANA TEMA ACTIVIDADES Actividad 1 2 3 3 5 6 3 3,4 8 9 10 11 12 Técnica Peso eval. (%) 1,2 2 2,3 4 7 Lugar 4 Eval. min - Resolución de trabajos y ejercicios propuestos y/o realizados en clase RA73, RA348, RA306 Aula y/o otros Examen escrito 5% - Resolución de trabajos y ejercicios propuestos y/o realizados en clase RA73, RA348, RA306 Aula y/o otros Aula Act. léxica para evaluación CONTINUA y/o 4,5 RA78, RA311, RA314 otros Entrega 23 Marzo Examen escrito Informes/ memorias 5% 15% 5 5 Aprobado(5/10) - Resolución de trabajos y ejercicios 5,6 propuestos y/o realizados en clase RA350, RA352 6 Aula y/o otros Presentación - TLP Informes/ 5% memorias - SEMA TEMA NA ACTIVIDADES Actividad 13 14 15 16 Lugar Técnica eval. Peso (%) 6 Eval. min - Resolución de trabajos y ejercicios propuestos 6,7 y/o realizados en clase A349, RA351 Act. sintáctica para evaluación CONTINUA 7 Entrega 19 de mayo RA78, RA312, RA314 7 Aula y/o otros Aula y/o otros Examen escrito 5% - Informes/ 20% Aprobado(5/10) memorias - Act. léxica en evaluación NO CONTINUA RA78,RA311,RA314 Otros Informes/ 15% Aprobado(5/10) memorias Act. sintáctica en evaluación NO CONTINUA RA78, RA312, A314 Otros Informes/ 20% Aprobado(5/10) memorias Examen escrito en evaluación CONTINUA RA73, RA348, RA349, RA350, RA351, RA352, Aula RA353 Examen escrito en evaluación NO CONTINUA RA73, RA348, RA349, RA350, RA351, RA352, Aula RA353 Presentación - TLP Examen 45% Aprobado(4/10) Examen 65% Aprobado(5/10)
© Copyright 2024