Lenguajes Formales (2013)

Topic outline

• Lenguajes Formales (2013)

  Collapse all Expand all

  Profesores Domingo Gómez Pérez Cristina Tirnauca Departamento de Matemáticas, Estadística y Computación

   
  

  Esta asignatura se centra en el estudio de los lenguajes formales y de las herramientas que nos permiten definirlos, como son las gramáticas formales y los autómatas.

   
  

  Palabras Clave de la Asignatura Autómatas con Pila, Árboles de Derivación, Gramáticas, Lenguajes Libres de Contexto, Lenguaje Formales, Autómatas Finitos, Jerarquía de Chomsky, Expresiones Regulares, Determinismo, Lenguajes Regulares.

• Programa

  

   

   

  Datos identificativos de la Asignatura Asignatura: Lenguajes Formales Código: G681 Departamento / Área: Departamento de Matemáticas, Estadística y Computación Título: Grado en Ingeniería Informática Centro: Facultad de Ciencias Créditos ECTS: 6 Idioma de impartición: Español Profesores responsables: Domingo Gómez Pérez y Cristina Tirnauca

   

   
  

   
  

      Programa de la asignatura    

    

  • Tema I. Introducción a los lenguajes formales.
  • Tema II. Expresiones regulares.
  • Tema III. Autómatas finitos.
  • Tema IV. Gramáticas libres de contexto.
  • Tema V. Autómatas con pila y aplicaciones.

• Bibliografía

  

    

   
  

      Básica    

   

  • Ding-Zhu & Ker-I Ko (2001): «Problem solving in automata, languages and complexity». John Wiley & Sons, INC.

  • Alfred V. Aho, John E. Hopcroft & Jeffrey D. Ullman (1975): «The design and analysis of computer algorithms». Addison-Weslwy Publishing Co., Reading, Mass. London-Amsterdam.

  • J.E. Hopcroft, R. Motwani, J.D. Ullman (2001): «Introduction to automata theory, languages, and computation. 2ª Ed. Addison-Wesley.

   

   

   

      Complementaria    

   

  • Terence Parr (2007): «The definitive ANTLR reference. Programatic bookshelf». United States of America.

  • D. Kozen (1997): «Automata and computability». Springer-Verlag.

   

• Materiales de Clase

  

   

   

  • MC-F-001. Material teórico del curso.

• Prácticas

  

   

   

  Introducción. Jerarquía de Chomsky. Lenguajes formales

  • PR-F-001. Laboratorio de Phyton.
  • PR-F-002. Laboratorio de expresiones regulares extendidas.

     

  Autómatas finitos

  • PR-F-003. Laboratorio de autómatas finitos (finite state machines).

  • PR-F-004. Laboratorio de autómatas finitos (II).
  • PR-F-005. Laboratorio de autómatas finitos (III).

• Pruebas de Evaluación

  

    

   

      Ejemplos de exámenes    

   

  • PE-F-001. Examen julio 2013.

  • PE-F-002. Examen septiembre 2013

    
  

    

    

      Criterios de evaluación    

   
  

  MÉTODOS DE EVALUACIÓN "LENGUAJES FORMALES"
  Descripción	Tipología	Evaluación final	Recuperación	%
  Examen final	Examen escrito	Sí	Sí	50%
  Calificación mínima: 4,00. Duración: 3 horas. Fecha realización: En la fecha elegida por la Facultad para la realización de exámenes finales. Condiciones recuperación: Observaciones: El alumno/a deberá responder a una serie de preguntas, relacionadas con los materiales dados en clase ademas de las lecturas obligatorias. En el Examen Final no se permitirá ningún tipo de apunte ni dispositivo electrónico.
  Trabajo en grupo	Evaluación en laboratorio	No	Sí	20%
  Calificación mínima: 0,00. Duración: 7 semanas. Fecha realización: Durante el cuatrimestre. Condiciones recuperación: Observaciones: El enunciado de esas prácticas es el mismo para todos (se trata de implementar varios algoritmos relativos a los lenguajes formales en grupos de 2 ó 3 personas).
  Trabajo final	Trabajo	No	Sí	20%
  Calificación mínima: 0,00. Duración: 7 semanas. Fecha realización: Durante el cuatrimestre. Condiciones recuperación: Observaciones: A partir de un problema de la vida real, el alumno/a hará entrar en juego todo lo que haya aprendido para completar un mini proyecto de lenguajes formales. El ingrediente básico es la iniciativa personal.
  Problemas	Actividad de evaluación con soporte virtual	No	Sí	10%
  Calificación mínima: 0,00. Duración: Fecha realización: Durante el cuatrimestre. Condiciones recuperación: Examen. Observaciones: Se realizará una Evaluación de Problemas en el aula, con una periodicidad a determinar, mediante cuestionarios informatizados.
  TOTAL				100%
  OBSERVACIONES: La Evaluación Continua de Problemas y Prácticas se podrá superar, en algunos casos, mediante un Examen de Prácticas. 50%: En el Periodo Ordinario, para los alumnos/as que por motivo justificado (estudiantes a tiempo parcial) no hayan seguido la Evaluación Continua. En el Periodo de Recuperación, para los alumnos/as que no hayan superado el Examen o que quieran mejorar la Nota de Prácticas. El Examen será un examen escrito, de 2 horas de duración, en el que habrá que resolver varios cuestiones y problemas. No se pueden llevar apuntes o libros. Para poder presentarse a este Examen se deberán entregar las Prácticas Obligatorias de la asignatura.
  OBSERVACIONES para alumnos/as a tiempo parcial: La Evaluación Continua de Problemas y Prácticas se podrá superar, en algunos casos, mediante un Examen de Prácticas. 50%: En el Periodo Ordinario, para los alumnos/as que por motivo justificado (estudiantes a tiempo parcial) no hayan seguido la Evaluación Continua.

• Guía de Aprendizaje

  

   

   
  

  •   Aquí puede descargarse la Guía de Aprendizaje en formato PDF.

• Sobre el Profesor

  

   
  

   

  Domingo Gómez Pérez   Departamento de Matemáticas, Estadística y Computación UNIVERSIDAD DE CANTABRIA   Más información

   

  Cristina Tirnauca   Departamento de Matemáticas, Estadística y Computación UNIVERSIDAD DE CANTABRIA   Más información