Teoría de Autómatas y Lenguajes Formales (2010)
Diagrama de temas
-
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
