Está en la página 1de 18

Asignatura: Autmatas y Lenguajes

Cdigo: 17838 Centro: Escuela Politcnica Superior Titulacin: Grado en Ingeniera Informtica Nivel: Grado Tipo: Obligatoria N de crditos: 6

GUA DOCENTE DE AUTMATAS Y LENGUAJES


La presente gua docente corresponde a la asignatura Autmatas y Lenguajes (AyL), aprobada para el curso lectivo 2012-2013 en Junta de Centro y publicada en su versin definitiva en la pgina web de la Escuela Politcnica Superior. La gua docente de AyL aprobada y publicada antes del periodo de matrcula tiene el carcter de contrato con el estudiante.

1 de 18

Asignatura: Autmatas y Lenguajes


Cdigo: 17838 Centro: Escuela Politcnica Superior Titulacin: Grado en Ingeniera Informtica Nivel: Grado Tipo: Obligatoria N de crditos: 6

ASIGNATURA AUTMATAS Y LENGUAJES (AyL) 1.1. 1.2. 1.3. 1.4.


Grado

Cdigo Materia Tipo Nivel Curso Semestre Nmero de crditos Requisitos previos

17838 de la titulacin de Grado en Ingeniera Informtica

Autmatas y Lenguajes

Formacin obligatoria

1.5. 1.6.
1

3 Ingeniera Informtica, 4 plan conjunto Informtica/Matemticas

1.7. 1.8.

6 crditos ECTS

Para un buen aprovechamiento del curso, es recomendable haber aprobado las asignaturas Programacin I, Programacin II y Proyecto de programacin de la materia Programacin del mdulo Programacin y Estructura de datos. De no ser as, el curso puede seguirse pero requiriendo tal vez un esfuerzo extra lo que puede incidir en el rendimiento del estudiante en otras asignaturas en las que est matriculado. Su contenido tambin tiene una relacin aunque ms marginal con la materia Anlisis de Algoritmos, del mdulo Programacin y estructuras de datos, que se imparte

2 de 18

Asignatura: Autmatas y Lenguajes


Cdigo: 17838 Centro: Escuela Politcnica Superior Titulacin: Grado en Ingeniera Informtica Nivel: Grado Tipo: Obligatoria N de crditos: 6

como asignatura con el mismo nombre; Seminario Taller de software, del mdulo Seminarios Taller de Informtica; y finalmente con la materia Estructuras Discretas y Lgica, del mdulo Fundamentos tericos de la informtica y aplicaciones. La asignatura Autmatas y Lenguajes se imparte en el primer semestre del tercer curso en el Grado de Informtica. Conforma, junto con la asignatura Proyecto de Autmatas y Lenguajes la materia de Autmatas y Lenguajes (materia 2) del mdulo Fundamentos tericos de la informtica y aplicaciones. Ambas asignaturas se imparten en el mismo semestre. Por tanto, es imprescindible el buen aprovechamiento en cada una de ellas para superar con xito todas. Esta asignatura tambin se imparte en el primer semestre del cuarto curso de la titulacin conjunta en Informtica/Matemticas Se ha realizado un esfuerzo considerable en la produccin de material docente propio de las asignaturas y al que el alumno podr acceder mediante la plataforma Moodle (http://uam-virtual.es) Este material incluir una copia de las transparencias que se utilizarn en las exposiciones tericas en clase as como abundante material para las actividades que tienen que ver con la resolucin de problemas. En concreto, habr hojas de problemas tpicos de examen con soluciones esquemticas. Este material se utilizar en la actividad de trabajo en grupo denominada taller de problemas. Se recomienda al alumno que consulte con frecuencia la plataforma ya que esta documentacin ir publicndose all con la suficiente antelacin respecto al momento en el que se utilizar en clase. Tambin se requiere, por parte del alumno, iniciativa personal y constancia para el estudio de la materia y la resolucin de ejercicios durante el curso. Este ltimo aspecto es particularmente importante ya que la adquisicin de algunos de los automatismos y destrezas necesarios para lograr las competencias de la asignatura son fruto del trabajo personal de los grupos de alumnos. Se requiere tambin, por tanto, de una predisposicin y empata para el trabajo colaborativo en grupo.

1.9.

Requisitos mnimos de asistencia a las sesiones presenciales

Se plantean dos itinerarios, uno con asistencia obligatoria a clase y otro sin ella, los estudiantes debern optar por uno u otro desde el principio del curso y cumplir con los distintos requisitos de evaluacin que conlleva cada uno de los modelos, publicados en la presente gua docente (ver apartado 4). ITINERARIO CON ASISTENCIA OBLIGATORIA A CLASE Lo llamaremos a partir de ahora evaluacin presencial. La asistencia es obligatoria al menos en un 85%. ITINERARIO SIN ASISTENCIA OBLIGATORIA A CLASE Lo llamaremos a partir de ahora evaluacin no presencial. La asistencia es muy recomendable aunque no obligatoria.

3 de 18

Asignatura: Autmatas y Lenguajes


Cdigo: 17838 Centro: Escuela Politcnica Superior Titulacin: Grado en Ingeniera Informtica Nivel: Grado Tipo: Obligatoria N de crditos: 6

1.10. Datos del equipo docente


Nota: se debe aadir @uam.es a todas las direcciones de correo electrnico. Profesores de teora (en orden alfabtico): Dr. Alfonso Ortega de la Puente (Coordinador) Departamento de Ingeniera Informtica Escuela Politcnica Superior Despacho - Mdulo: B-340 Edificio B 3 Planta Telfono: +34 91 497 2279 Correo electrnico: alfonso.ortega Horario de atencin al alumnado: Peticin de cita previa por correo electrnico. Dr. Mariano Rico Almodvar Departamento de Ingeniera Informtica Escuela Politcnica Superior Despacho - Mdulo: B-316 Telfono: +34 91 497 7502 Correo electrnico: mariano.rico Pgina web: http://www.ii.uam.es/~mrico Horario de atencin al alumnado: Peticin de cita previa por correo electrnico. Profesores de prcticas (en orden alfabtico): Dra. Marina de la Cruz Echeanda Departamento de Ingeniera Informtica Escuela Politcnica Superior Despacho - Mdulo: B-321 Edificio B 3 Planta Telfono: +34 497 3364 Correo electrnico: marina.cruz Horario de atencin al alumnado: Peticin de cita previa por correo electrnico. Dr. Mariano Rico Almodvar Departamento de Ingeniera Informtica Escuela Politcnica Superior Despacho - Mdulo: B-316 Telfono: +34 91 497 7502 Correo electrnico: mariano.rico Pgina web: http://www.ii.uam.es/~mrico Horario de atencin al alumnado: Peticin de cita previa por correo electrnico.

4 de 18

Asignatura: Autmatas y Lenguajes


Cdigo: 17838 Centro: Escuela Politcnica Superior Titulacin: Grado en Ingeniera Informtica Nivel: Grado Tipo: Obligatoria N de crditos: 6

Dr. Alfonso Ortega de la Puente Departamento de Ingeniera Informtica Escuela Politcnica Superior Despacho - Mdulo: B-340 Edificio B 3 Planta Telfono: +34 91 497 2279 Correo electrnico: alfonso.ortega Horario de atencin al alumnado: Peticin de cita previa por correo electrnico.

1.11. Objetivos del curso


AyL es una asignatura de carcter mixto terico-prctico. Constituye una toma de contacto con los dispositivos abstractos de cmputo de diferente potencia expresiva y ofrece simultneamente su justificacin y posibilidades de uso desde el punto de vista de la ingeniera informtica en el mbito del diseo y proceso de los lenguajes de programacin, comenzando por los imperativos. Proporciona tambin al alumno una toma de contacto con las herramientas informticas a las que puede acceder en la actualidad para facilitar las tareas con las que se va a encontrar en el trabajo en este rea. Las competencias especficas de Computacin que se pretenden adquirir con esta asignatura son las siguientes: CC1. Capacidad para tener un conocimiento profundo de los principios fundamentales y modelos de la computacin y saberlos aplicar para interpretar, seleccionar, valorar, modelar, y crear nuevos conceptos, teoras, usos y desarrollos tecnolgicos relacionados con la informtica. CC2. Capacidad para conocer los fundamentos tericos de los lenguajes de programacin y las tcnicas de procesamiento lxico, sintctico y semntico asociadas, y saber aplicarlas para la creacin, diseo y procesamiento de lenguajes. Los objetivos que se pretenden alcanzar con esta asignatura son: OBJETIVOS GENERALES Conocer los tipos de lenguajes regulares e independientes del contexto, y sus G1 equivalencias con los autmatas y otros tipos de representaciones. Conocer las gramticas de atributos como dispositivo capaz de generar cualquier G2 tipo de lenguaje G3 Desarrollar procesadores de lenguaje para los que son objeto de la asignatura Conocer los lmites expresivos de cada modelo de cmputo y estar familiarizado G4 con las tcnicas formales que permiten determinarlos

5 de 18

Asignatura: Autmatas y Lenguajes


Cdigo: 17838 Centro: Escuela Politcnica Superior Titulacin: Grado en Ingeniera Informtica Nivel: Grado Tipo: Obligatoria N de crditos: 6

OBJETIVOS ESPECFICOS POR TEMA TEMA 1.- Preliminares de los modelos de cmputo y familias de lenguajes Identificar y conocer los objetos matemticos relacionados con los modelos de 1. cmputo y familias de lenguajes Conocer la estructura de los conjuntos que forman, las operaciones que se definen en 2. ellos y sus propiedades TEMA 2.- Gramticas Independientes del contexto y autmatas a pila Conocer las gramticas independientes del contexto y los autmatas a pila y sus 3. tcnicas bsicas de diseo Saber analizar de manera informal el lenguaje generado por una gramtica 4. independiente del contexto y los reconocidos por los autmatas a pila Saber disear gramticas independientes del contexto y autmatas a pila que, de 5. manera informal, generen o acepten un lenguaje dado, especialmente aquellos relacionados con las construcciones de los lenguajes de programacin 6. Utilizar herramientas informticas actuales para facilitar los objetivos anteriores TEMA 3.- Autmatas finitos deterministas y no deterministas, expresiones regulares Conocer los autmatas finitos (y las diferencias entre deterministas y no 7. deterministas) y las expresiones regulares as como las tcnicas bsicas para su diseo Saber analizar de manera informal los lenguajes aceptados por los autmatas finitos y 8. los representados por las expresiones regulares Saber disear autmatas finitos y expresiones regulares que, de manera informal, 9. acepten o representen un lenguaje dado, especialmente aquellos relacionados con las construcciones de los lenguajes de programacin 10. Utilizar herramientas informticas actuales para facilitar los objetivos anteriores TEMA 4.- Gramticas de atributos 11. Conocer las gramticas de atributos y las tcnicas bsicas para su diseo Saber analizar el proceso de propagacin de atributos a partir de gramticas de 12. atributos dadas sobre los rboles de derivacin de las cadenas que generan Saber disear gramticas de atributos que, de manera informal, generen un lenguaje 13. dado, especialmente aquellos relacionados con las construcciones de los lenguajes de programacin TEMA 5.- Anlisis morfolgico A partir de un lenguaje, y de las caractersticas del proceso que se quiera realizar 14. sobre l, saber identificar el subconjunto de ese lenguaje del que se encargar el analizador morfolgico 15. Conocer las tcnicas ms habituales de diseo de analizadores morfolgicos 16. Utilizar herramientas informticas actuales para facilitar los objetivos anteriores TEMA 6.- Anlisis sintctico Conocer las diferencias fundamentales entre las tcnicas de anlisis sintctico 17. ascendentes y descendentes A partir de las gramticas independientes del contexto, saber disear analizadores sintcticos ascendentes segn las tcnicas SLR(1), LR(1) y LALR(1), lo que incluye el 18. diseo de diagramas de estado de anlisis LR(0), conjuntos primero y siguiente y smbolos de adelanto

6 de 18

Asignatura: Autmatas y Lenguajes


Cdigo: 17838 Centro: Escuela Politcnica Superior Titulacin: Grado en Ingeniera Informtica Nivel: Grado Tipo: Obligatoria N de crditos: 6

19. 20. 21. 22.

A partir de las gramticas independientes del contexto, saber disear analizadores sintcticos descendentes segn la tcnica LL(1) a partir de tablas de anlisis Estar familiarizados con la tcnica de anlisis LL(k) Conocer el concepto de conflicto y las condiciones por las cuales un lenguaje no es SLR(1), LR(1), LALR(1), LL(1) o LL(k) Utilizar herramientas informticas actuales para facilitar los objetivos anteriores

TEMA 7.- Anlisis semntico Conocer las funciones del anlisis semntico en el contexto de los procesadores de 23. lenguaje Saber construir procesadores de lenguaje (tanto de una pasada como de ms) a partir 24. de analizadores sintcticos (tanto ascendentes como descendentes) y las gramticas de atributos de los lenguajes objeto de estudio 25. Utilizar herramientas informticas actuales para facilitar los objetivos anteriores TEMA 8.- Conjuntos regulares 26. Saber minimizar autmatas finitos 27. Saber obtener autmatas finitos deterministas equivalentes a no deterministas Estar familiarizado con los algoritmos que permiten obtener expresiones regulares 28. equivalentes a autmatas finitos y viceversa Estar familiarizado con el lema de bombeo como herramienta para demostrar que un 29. lenguaje predeterminado no es regular TEMA 9.- Conjuntos independientes del contexto Estar familiarizado con los algoritmos que permiten obtener gramticas 30. independientes del contexto equivalentes a autmatas a pila y viceversa Estar familiarizado con el lema de anidamiento doble como herramienta para 31. demostrar que un lenguaje predeterminado no es independiente del contexto

1.12. Contenidos del programa


Programa Sinttico Unidad 1: modelos de cmputo y familias de lenguajes. Tema 1: Preliminares Tema 2: Gramticas Independientes del contexto y autmatas a pila Tema 3: Autmatas finitos deterministas y no deterministas, expresiones regulares Tema 4: Gramticas de atributos Unidad 2: procesadores de lenguaje Tema 5: Anlisis morfolgico Tema 6: Anlisis sintctico Tema 7: Anlisis semntico

7 de 18

Asignatura: Autmatas y Lenguajes


Cdigo: 17838 Centro: Escuela Politcnica Superior Titulacin: Grado en Ingeniera Informtica Nivel: Grado Tipo: Obligatoria N de crditos: 6

Unidad 3: equivalencias y caracterizacin Tema 8: Conjuntos regulares Tema 9: Conjuntos independientes del contexto

Programa Detallado
1. Unidad 1: modelos de cmputo y familias de lenguajes.

Tema 1: Preliminares Tema 2: Gramticas Independientes del contexto y autmatas a pila: Introduccin a las gramticas independientes del contexto Introduccin a los autmatas a pila Herramientas informticas para su estudio 1.3. Tema 3: Autmatas finitos deterministas y no deterministas, expresiones regulares: Introduccin a los autmatas finitos deterministas y no deterministas Introduccin a las expresiones regulares Herramientas informticas para su estudio 1.4. Tema 4: Gramticas de atributos Introduccin a las gramticas de atributos Programacin de gramticas de atributos
2. Unidad 2: procesadores de lenguaje

1.1. 1.2.

2.1. 2.2. 2.3. 3.1.

Tema 5: Anlisis morfolgico Diseo de analizadores morfolgicos Herramientas informticas de ayuda al diseo de analizadores morfolgicos Tema 6: Anlisis sintctico: Introduccin al anlisis sintctico ascendente y descendente Anlisis sintctico ascendente SLR(1), LR(1) y LALR(1) Anlisis sintctico descendente LL(1) y LL(k) Herramientas informticas de ayuda al diseo de analizadores sintcticos ascendentes y descendentes Tema 7: Anlisis semntico Introduccin al anlisis semntico Herramientas informticas de ayuda al diseo de compiladores completos Tema 8: Conjuntos regulares Equivalencia y minimizacin de autmatas finitos y expresiones regulares Lema de bombeo Tema 9: Conjuntos independientes del contexto Equivalencias entre autmatas a pila y gramticas independientes del contexto Lema de anidamiento doble

3. Unidad 3: equivalencias y caracterizacin

3.2.

8 de 18

Asignatura: Autmatas y Lenguajes


Cdigo: 17838 Centro: Escuela Politcnica Superior Titulacin: Grado en Ingeniera Informtica Nivel: Grado Tipo: Obligatoria N de crditos: 6

1.13. Referencias de consulta


Bibliografa: Nota: Parte de esta asignatura est contenida, parcialmente, en los dos primeros textos que han sido escritos por profesores de este departamento. El alumno podr encontrar material similar al utilizado en alguno de los temas. El resto de las referencias recogen la materia de una manera menos vinculada a la forma en la que se imparte en esta escuela. La documentacin disponible en Moodle contiene suficiente detalle como para suponer una referencia de consulta completa. Por lo tanto, la consulta de estos materiales, aunque puede resultar recomendable para un dominio ms profundo de la materia, no es imprescindible para alcanzar los objetivos y competencias descritos en esta gua. Unidades 1y 3: 1. Alfonseca, M., de la Cruz, M., Ortega, A., Pulido, E. Compiladores e intrpretes: teora y prctica, Pearson, 2006. 2. Alfonseca, M., Alfonseca, E., Roberto Moriyon, R. Teora de Autmatas y Lenguajes Formales, McGraw Hill, 2007. ISBN: 978-84-481-5637-4. 3. Hopcroft, J.E., Motwani, R. and Ullman, J.D.: Introduccin a la Teora de Autmatas, Lenguajes y Computacin, Ed. Pearson Education, 2002. 4. Alfonseca, M., Sancho, J., Martnez Orga, M.A., Teora de Lenguajes, Gramticas y Autmatas. Universidad y Cultura, Madrid, 1987. Unidades 1 y 2: 1. Alfonseca, M., de la Cruz, M., Ortega, A., Pulido, E. Compiladores e intrpretes: teora y prctica, Pearson, 2006. 2. Aho, A.V., Sethi, R., Ullman, J.D., Compilers: Principles, Techniques and Tools. Addison-Wesley Publishing Company, Reading, MA, 1986. Traduccin espaol, Compiladores: principios, tcnicas y herramientas, Pearson Education, 1990-98. 3. Grune, D., Modern Compiler Design, Wiley, 2000. 4. Marcotty, M., Ledgard, H.F., Bochmann, G.V., A Sampler of Formal Definitions. Computing Surveys, 8:2, pp. 191-276, June 1976. Nota: no se recomienda a los estudiantes comprar ningn libro hasta no haber comparado su contenido con el programa y revisado previamente en la biblioteca.

2.

Mtodos docentes

La metodologa utilizada en el desarrollo de la actividad docente incluye los siguientes tipos de actividades:

9 de 18

Asignatura: Autmatas y Lenguajes


Cdigo: 17838 Centro: Escuela Politcnica Superior Titulacin: Grado en Ingeniera Informtica Nivel: Grado Tipo: Obligatoria N de crditos: 6

*Clases de teora: Actividad del profesor Clases expositivas simultaneadas con la realizacin de problemas y ejercicios terico-prcticos. Se utilizar la pizarra, y los recursos audiovisuales (proyector de trasparencias) disponibles en el aula. Actividad del estudiante: Actividad presencial: Toma de apuntes, participacin activa en clase respondiendo a las cuestiones planteadas. Dentro de la evaluacin presencial los alumnos pueden beneficiarse de la realizacin de controles temticos liberatorios. El funcionamiento de estos controles es el siguiente: Las diferentes partes de la materia se agrupan en cuatro bloques. De cada uno de esos bloques se realizar un control liberatorio que se planificar para que pueda ser resuelto en 50 minutos durante la correspondiente sesin de 1h (consltese el cronograma) y que contendr preguntas de todas las partes incluidas en el bloque. Puede consultar la fecha aproximada de celebracin de los controles en el cronograma. Se realizarn o durante la sesin correspondiente o en el horario reservado a tal efecto. La hora concreta de celebracin ser anunciada con suficiente antelacin ya sea en el aula o en Moodle. La estructura del examen final garantizar que se puedan recuperar o mejorar la nota de partes ya evaluadas. El examen final no es obligatorio para los alumnos de evaluacin presencial ya que no es necesario obtener una nota mnima en ninguna de las partes. Consulte en la seccin 4 la forma en la que se evalan estos controles. Siempre que el nmero de matriculados lo permita, dentro de la evaluacin presencial los alumnos deben realizar una tarea de trabajo colaborativo que denominamos taller de problemas (esta actividad puede ser modificada a criterio del profesorado en el caso en el que la matrcula de alumnos por curso lo sugiera). El taller de problemas tiene una actividad presencial que describimos a continuacin: Los alumnos formarn grupos con un nmero total de integrantes que permita un nmero total de grupos por clase de alrededor de 12 o 13. Estos grupos tienen la responsabilidad de trabajar con las hojas de problemas de cada tema para ser capaces, a partir de los ejercicios resueltos en clase por el profesor, de explicar la solucin completa de cualquiera de sus problemas. Esta responsabilidad incluye tomar la iniciativa en la solicitud de tutoras especficas para resolver con el profesor sus dudas y garantizar que cada miembro del grupo sera capaz de solucionar completo cualquiera de los problemas de la hoja. Los das marcados en el cronograma como de correccin de controles y realizacin de problemas y aquellos que determine el profesor, se seleccionar un grupo al azar, un miembro del grupo al azar y un problema de la hoja del tema en curso para que el alumno lo explique en la pizarra.

10 de 18

Asignatura: Autmatas y Lenguajes


Cdigo: 17838 Centro: Escuela Politcnica Superior Titulacin: Grado en Ingeniera Informtica Nivel: Grado Tipo: Obligatoria N de crditos: 6

Consltese la forma de evaluacin de esta actividad en la seccin 4. Actividad no presencial: estudio del material proporcionado y trabajo en grupo para la correcta participacin en el taller de problemas. *Tutoras presenciales: Se han planificado 5 tutoras de 1 hora, para los alumnos de evaluacin presencial. Coinciden con 5 de los momentos ms exigentes para los alumnos. En ellas se intentar focalizar la atencin de los alumnos en los aspectos ms relevantes de la materia y minimizar el nmero de dudas que queden sin resolver. Actividad del profesor: Convocar y supervisar la tutora Actividad del alumno: Actividad presencial: Asistir a la tutora, plantear sus dudas y atender las explicaciones de su profesor. Actividad no presencial: Previo a la tutora, identificacin de posibles dudas con relacin al temario de la tutora. *Prcticas: Todas las prcticas de la asignatura requieren la utilizacin de herramientas informticas que facilitan las tareas asociadas con cada uno de los contenidos de la asignatura. Las prcticas se articulan como una coleccin de ejercicios que el alumno debe solucionar en el laboratorio preferiblemente en presencia de su profesor. Eso no significa que de manera no presencial los alumnos no puedan avanzar fuera del aula. Las prcticas se realizarn, preferiblemente y siempre que sea posible, de manera individual. Al final de cada prctica se articular un mecanismo que permita comprobar que los alumnos han superado la prctica en curso. El profesor supervisar las pruebas determinadas en cada caso. La seccin 4 de esta gua contiene la forma de evaluacin de las prcticas. Actividad del profesor: Al principio de las sesiones programadas para cada prctica, el profesor explicar las herramientas que se utilizarn en cada ejercicio as como los objetivos de las sesiones asignadas a cada prctica. Contestar las dudas de los alumnos durante la realizacin de los ejercicios y supervisar las pruebas de aptitud de cada prctica y el examen final de prcticas. Actividad del estudiante: Actividad presencial: Realizacin en el laboratorio de los ejercicios y pruebas propuestos por su profesor. Actividad no presencial: Avanzar y anticipar el trabajo de las prcticas durante las semanas que incluyan las sesiones programadas para ellas si l mismo o su profesor lo consideran oportuno.

11 de 18

Asignatura: Autmatas y Lenguajes


Cdigo: 17838 Centro: Escuela Politcnica Superior Titulacin: Grado en Ingeniera Informtica Nivel: Grado Tipo: Obligatoria N de crditos: 6

3.

Tiempo de trabajo del estudiante


Clases tericas Clases prcticas Tutoras programadas a lo largo del semestre N de horas Porcentaje 39 h (26%) 26 h (17.3%) 5 h (3.3%) 11h = 81 h (54%) 5 (3 control+ 2 fin prct.) + 6 h (finales) (7.3%) 23 h (2x9+1x5) (15.3%) 14 h (1x14) 1h 69 h (46%) por sesin (9.3%) 13 h (8.7%) 19 h (12.7%) 150 h

Presencial Realizacin de pruebas escritas parciales y final

Estudio semanal regulado No presencial Realizacin de actividades prcticas Preparacin y exmenes finales (conv. ord.) Preparacin y exmenes finales (conv. extra.) Carga total de horas de trabajo: 25 horas x 6 ECTS

12 de 18

Asignatura: Autmatas y Lenguajes


Cdigo: 17838 Centro: Escuela Politcnica Superior Titulacin: Grado en Ingeniera Informtica Nivel: Grado Tipo: Obligatoria N de crditos: 6

4.

Mtodos de evaluacin y porcentaje en la calificacin final

Nota final de la asignatura La asignatura tiene dos partes Bloque de teora Bloque de prcticas

Cada parte recibir una calificacin entre 0 y 10 segn el clculo que se especifica a continuacin. Con las dos notas se calcular la nota final segn el siguiente promedio 75% nota bloque teora + 25% nota bloque prcticas Para aprobar la asignatura es obligatorio obtener una nota mayor o igual a 5 puntos, tanto en la parte de teora como en las prcticas. En caso contrario, la nota final en actas ser 0,25*min(5,nota bloque prcticas) + 0,75*min(5,nota bloque teora) La nota de teora y de prcticas se conserva (convalida) slo para la convocatoria extraordinaria del mismo curso acadmico. ATENCIN: Cualquier copia descubierta que se haya realizado a lo largo del curso, tanto en cualquiera de las actividades de teora desarrolladas, como en cualquiera de los apartados de las prcticas, sern penalizadas con rigurosidad. Bloque de teora PARA LA EVALUACIN PRESENCIAL Las diferentes partes que sern tenidas en cuenta en el bloque de teora se calificarn de la siguiente manera 1) Taller de problemas: Slo se considerarn aptos aquellos alumnos que consigan la calificacin de apto en la actividad presencial. La calificacin (apto o no apto) obtenida por el alumno seleccionado para representar al grupo en esta actividad ser la que obtenga todo el grupo. El profesor puede elegir ms de una vez al mismo grupo si lo necesita para decidir si es apto o no apto en esta actividad. Los alumnos no aptos en el taller pasarn automticamente a evaluacin no presencial.

13 de 18

Asignatura: Autmatas y Lenguajes


Cdigo: 17838 Centro: Escuela Politcnica Superior Titulacin: Grado en Ingeniera Informtica Nivel: Grado Tipo: Obligatoria N de crditos: 6

2) Los controles liberatorios agrupan las siguientes partes Modelos regulares Modelos independientes del contexto Gramticas de atributos/ anlisis semntico Anlisis sintctico ascendente Anlisis sintctico descendente Caracterizacin y equivalencia de modelos

Esas partes se agrupan en cuatro bloques para los que se realizan los controles que se indican en el cronograma (consltese para comprobar la fecha prevista para su celebracin y el control en el que se incluye cada parte). Los alumnos pueden presentarse libremente a estos controles. Se mantendr la mxima nota (entre 0 y 10) obtenida en cada parte en cualquiera de las pruebas a las que se presente el alumno La estructura del examen final garantizar que se pueda subir nota de todas las partes con problemas de una dificultad similar a los de los controles por lo que su diseo reservar la misma cantidad de tiempo para cada parte que la dedicada en el correspondiente control. No hay una nota mnima obligatoria que haya que obtener en cada parte para poder calcular la nota final. La nota final ser un promedio de las notas de estas partes. Los pesos aplicados a cada una de las partes se indican a continuacin: Modelos regulares 12,5% Modelos independientes del contexto 12,5% Gramticas de atributos/ anlisis semntico 25% Anlisis sintctico ascendente 16,25% Anlisis sintctico descendente 8,75% Caracterizacin y equivalencia de modelos 25%

De ese promedio se obtendr una nota (entre 0 y 10) del bloque de teora. PARA LA EVALUACIN NO PRESENCIAL Slo se tendr en cuenta el examen final. Cada parte del examen final ser calificada entre 0 y 10. El clculo final de la nota se obtendr mediante la aplicacin del mismo promedio mencionado en EVALUACIN PRESENCIAL

14 de 18

Asignatura: Autmatas y Lenguajes


Cdigo: 17838 Centro: Escuela Politcnica Superior Titulacin: Grado en Ingeniera Informtica Nivel: Grado Tipo: Obligatoria N de crditos: 6

Bloque de prcticas. PARA LA EVALUACIN PRESENCIAL Como resultado de la realizacin de la prueba asociada con cada prctica, cada alumno tendr una calificacin correspondiente a cada prctica. La nota final del laboratorio se obtendr realizando la media aritmtica de dichas notas, para ello, es necesario que todas las notas sean iguales o superiores a 4. Los que no superen el 5 en la media o hayan obtenido menos de 4 en alguna prctica se considerarn suspensos en la evaluacin presencial y debern asistir al examen final. El ltimo da de clase se celebrar el examen final de las prcticas. Slo los alumnos de evaluacin no presencial y aquellos que hayan suspendido las prcticas presenciales tienen la obligacin de presentarse a l. PARA LA EVALUACIN NO PRESENCIAL Slo se tendr en cuenta el examen final que ser calificado entre 0 y 10 y dar directamente la nota de prcticas del alumno. Sobre la convocatoria extraordinaria En la parte de teora la nota de la convocatoria extraordinaria se obtendr en todos los casos mediante un examen final. En la parte de prcticas los profesores podrn especificar trabajos prcticos que el alumno debe aportar. Se realizar un examen final y se obtendr la calificacin final como un promedio de las dos calificaciones. Los detalles concretos tanto de los trabajos prcticos como de la manera en la que se calcular el promedio sern especificados tras la finalizacin de la convocatoria ordinaria pues dependen del nmero posible de alumnos que puedan acudir a la convocatoria extraordinaria. El promedio entre la nota de teora y prcticas de la convocatoria extraordinaria ser el mismo que el utilizado en la ordinaria. Sobre calificacin no evaluado en evaluacin presencial En evaluacin presencial, el nmero mnimo de pruebas a las que el estudiante se ha de presentar para recibir una calificacin numrica es dos tercios del nmero mximo de pruebas. Por debajo de este mnimo, el estudiante recibir la calificacin "No evaluado" que implica que la convocatoria es consumida. Este nmero de pruebas por debajo del cual se considerar como no evaluado ser el siguiente Teora, 4 (ya que son 1 actividad del taller de problemas, 4 controles y el final, un total de 6 pruebas)

15 de 18

Asignatura: Autmatas y Lenguajes


Cdigo: 17838 Centro: Escuela Politcnica Superior Titulacin: Grado en Ingeniera Informtica Nivel: Grado Tipo: Obligatoria N de crditos: 6

Prcticas, 3 (ya que son 4 pruebas de cada una de las 4 prcticas y el examen final, un total de 5 pruebas)

5.
Semana 1 2

Cronograma
Contenido - Presentacin y motivacin de la asignatura, descripcin del programa, normativa y los mtodos de evaluacin, descripcin del material accesible en la plataforma Moodle. - Unidad 1: modelos de cmputo y familias de lenguajes. Tema 1: preliminares Tema 2: Gramticas Independientes del contexto y autmatas a pila: presentacin - Prctica 1.a: herramientas estudio de gramticas independientes del contexto (ej. jflap) - Unidad 1: modelos de cmputo y lenguajes. Tema 2: Gramticas Independientes del contexto y autmatas a pila: problemas Tema 3: Autmatas finitos deterministas y no deterministas, expresiones regulares: o Presentacin o Problemas - Prctica 1.b: herramientas estudio de autmatas a pila (ej. jflap) - Unidad 1: modelos de cmputo y lenguajes. Tema 3: Autmatas finitos deterministas y no deterministas, expresiones regulares: o Presentacin o Problemas - Primer control: modelos y lenguajes regulares e independientes del contexto - Prctica 1.c: herramientas estudio de autmatas finitos y expresiones regulares (ej. jflap) - Unidad 1: modelos de cmputo y lenguajes. Tema 4: Gramticas de atributos o Presentacin del modelo o Programacin de gramticas de atributos o Problemas - Prctica 1: prueba - Unidad 1: modelos de cmputo y lenguajes. Tema 4: Gramticas de atributos o Problemas - Unidad 2: procesadores de lenguaje Tema 5: Anlisis morfolgico o Presentacin y problemas - Prctica 2: herramientas de ayuda a la generacin de analizadores morfolgicos (ej. flex) Horas presenciales 3 2 3 2 3 2 3 2 3 2 Horasno presenciales 2 1 2 1 2 1 2 1 2(total)

16 de 18

Asignatura: Autmatas y Lenguajes


Cdigo: 17838 Centro: Escuela Politcnica Superior Titulacin: Grado en Ingeniera Informtica Nivel: Grado Tipo: Obligatoria N de crditos: 6

- Tutoras sobre autmatas finitos, expresiones regulares y anlisis morfolgico - Segundo control: gramticas de atributos - Unidad 2: procesadores de lenguaje Tema 6: Anlisis sintctico (ascendente): o Introduccin al anlisis sintctico - Prctica 2: prueba - Unidad 2: procesadores de lenguaje Tema 6: Anlisis sintctico ascendente: o SLR(1): presentacin y problemas o LR(1): presentacin - Prctica 3: herramientas de ayuda a la generacin de analizadores sintcticos (ej. bison ) - Unidad 2: procesadores de lenguaje Tema 6: Anlisis sintctico ascendente: o LR(1) LALR(1) - Correcciones de los controles 1 y 2 - Prctica 43: herramientas de ayuda a la generacin de analizadores sintcticos (ej. bison) - Tutoras sobre gramticas independientes del contexto, autmatas a pila y anlisis sintctico ascendente - Unidad 2: procesadores de lenguaje Tema 6: Anlisis sintctico ascendente: o Problemas Tema 7: Anlisis sintctico descendente: o LL(1) LL(k) - Prctica 3: prueba - Unidad 2: procesadores de lenguaje Tema 7: Anlisis sintctico descendente: o LL(k) o Problemas - Unidad 2: procesadores de lenguaje Tema 8: Anlisis semntico: - Prctica 4: herramientas de ayuda a la generacin de compiladores (ej. bison o antlr) - Tutoras sobre gramticas independientes del contexto, autmatas a pila y anlisis sintctico descendente - Unidad 2: procesadores de lenguaje Tema 8: Anlisis semntico: o Problemas - Tercer control: Anlisis morfolgico y sintctico o Correccin del control - Prctica 4: herramientas de ayuda a la generacin de compiladores (ej. bison o antlr) - Tutoras sobre gramticas de atributos y anlisis semntico - Unidad 3: equivalencias y caracterizacin Tema 9: Conjuntos regulares o Minimizacin de autmatas finitos o Equivalencias (autmatas finitos deterministas y no deterministas y expresiones regulares) - Prctica 4: herramientas de ayuda a la generacin de

3 2 3 2 3 2 1

2 1 2 1 2(total)

10

3 2 3 2 1

2 1 2(total)

10

11

3 2 1 3

2(total)

11 12

17 de 18

Asignatura: Autmatas y Lenguajes


Cdigo: 17838 Centro: Escuela Politcnica Superior Titulacin: Grado en Ingeniera Informtica Nivel: Grado Tipo: Obligatoria N de crditos: 6

Semana

Contenido compiladores (ej. bison o antlr)

Horas presenciales 2 3 2 1 3 2 3 3

Horasno presenciales 1 2(total) 2 1 13 19

13

13 14

- Unidad 3: equivalencias y caracterizacin Tema 9: Conjuntos regulares o Lema de bombeo - Prctica 4: prueba - ltima tutora - Unidad 3: equivalencias y caracterizacin Tema 10: Conjuntos independientes del contexto o Equivalencias o Lema de anidamiento doble - Cuarto control: Equivalencias y caracterizacin - Examen de prcticas - Examen final de teora (ordinaria) - Examen final (extraordinaria)

1516 1719

18 de 18

También podría gustarte