Diagrama de temas

  • General

    Lenguajes Formales (2013)

  • Lenguajes Formales (2013)

    lenguajes-formales2.jpg

    Lenguajes Formales (2013)

         

    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