• General

    Teoría de Autómatas y Lenguajes Formales (2010)

    • Teoría de Autómatas y Lenguajes Formales (2010)

      maquinas-termicas.jpg

      Teoría de Autómatas y Lenguajes Formales (2010)

      Profesores

      Luis Migel Pardo Vasallo

      Domingo Gómez Pérez

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




      El objetivo básico de la asignatura es ofrecer una estructura teórica que permita analizar los procesos de cálculo en función de la dificultad de
      computación. Estudiar la relación entre generatividad (gramáticas) y resolubilidad (autómatas), de cara a su utilización en compiladores. Adquirir un conocimiento teórico de las limitaciones de estos procesos (problemas indecidibles). Los estudiantes, después de cursar esta asignatura, deberían conocer los grados de complejidad intrínsecos de los lenguajes regulares e incontextuales. Dispondrán de algunas herramientas para describir estos lenguajes, reconocerlos y caracterizarlos.


      Palabras Clave de la Asignatura

      Interpretación de funciones, Sintaxis concreta, Sintaxis abstracta, Análisis sintáctico, El método científico, Recursión, Análisis léxico, Interpretador, Jerarquía de Chomsky, Ingeniería de sistemas y automática