Topic outline

  • Lenguajes Formales (2013)

    lenguajes-formales2.jpg

         

    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

    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

    bibliografia

      

     

        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

    materiales

     

     

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

    practicas

     

     

    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

    evaluacion

      

     

        Ejemplos de exámenes    

     

      

      

      

        Criterios de evaluación    

     

      

    MÉTODOS DE EVALUACIÓN "LENGUAJES FORMALES"

      

    Descripción

    Tipología

    Evaluación final

    Recuperación

    %

    Examen final

    Examen escrito

    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

    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

    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

    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

    guia

     

     

  • Sobre el Profesor

    profesor

     

     

    domingo.jpg    

    Domingo Gómez Pérez

     

    Departamento de Matemáticas, Estadística y Computación

    UNIVERSIDAD DE CANTABRIA
     
    Más información

     

    tirnauca.jpg    

    Cristina Tirnauca

     

    Departamento de Matemáticas, Estadística y Computación

    UNIVERSIDAD DE CANTABRIA
     
    Más información