Diapositiva 1

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)