ALeF. Presentación de la asignatura. 2César Ignacio García Osorio. Universidad de Burgos.

Descriptor• Máquinas secuenciales y autómatas finitos.• Gramáticas y lenguajes formales.• Construcción de intérpretes y compiladores.

• Créditos teóricos: 4,5.• Créditos prácticos: 4,5.

ALeF. Presentación de la asignatura. 3César Ignacio García Osorio. Universidad de Burgos.

Objetivos (1)• Conocer algunas de las áreas de la informática

teórica, su interrelación jerárquica y los resultados básicos relacionados con los modelos formales de la computación.

• Conocer las fases del proceso de traducción de programas y las diferencias entre compilación e interpretación señalando los méritos de cada uno.

• Definir claramente el concepto de lenguaje formal y aprender las teorías formales que se utilizan en su descripción.

ALeF. Presentación de la asignatura. 4César Ignacio García Osorio. Universidad de Burgos.

Objetivos (2)• Diseñar máquinas (autómatas finitos, autómatas

de pila, máquinas de Turing) para el reconocimiento de lenguajes y gramáticas (y expresiones regulares) para su descripción.

• Poder explicar la idea de que algunos problemas no tienen solución algorítmica, conocer ejemplos que ilustren esta limitación y conocer la tesis de Church-Turing y su importancia.

ALeF. Presentación de la asignatura. 5César Ignacio García Osorio. Universidad de Burgos.

Objetivos (3)• Obtener las distintas notaciones equivalentes

para una misma clase de lenguajes, incluyendo la conversión entre autómatas finitos deterministas y no deterministas y expresiones regulares y entre autómatas de pila y gramáticas independiente del contexto.

• Adquirir los conocimientos necesarios para determinar la localización de un lenguaje en la jerarquía de Chomsky probando que esta en una determinada clase pero no en la siguiente.

ALeF. Presentación de la asignatura. 6César Ignacio García Osorio. Universidad de Burgos.

Objetivos (4)• Entender al menos un algoritmo de análisis

descendente y otro de análisis ascendente • Conocer el interés práctico de los lenguajes

regulares e independientes del contexto por su aplicación en la construcción de compiladores y saber utilizar algunas de las herramientas que existen para tal fin.

ALeF. Presentación de la asignatura. 7César Ignacio García Osorio. Universidad de Burgos.

Temario (1)• Teoría

– UD 1: Introducción– UD 2: Lenguajes y gramáticas formales

• Lenguajes formales• Gramáticas formales.• Problemas de la descripción finita de lenguajes

infinitos.– UD 3: Máquinas de Turing

• Máquina de Turing y lenguajes.• Variantes de máquinas de Turing.• Límites de las máquinas de Turing

ALeF. Presentación de la asignatura. 8César Ignacio García Osorio. Universidad de Burgos.

Temario (2)– UD 4: Lenguajes regulares

• Gramáticas, expresiones regulares y autómatas finitos.

• Teorema de análisis y de síntesis.• Otros autómatas.

– UD 5: Lenguajes Independientes del contexto• Autómatas de pila y lenguajes independientes del

contexto.• Gramáticas independientes del contexto.• Análisis de lenguajes independientes del contexto.

• Práctica: JFLAP, Pate, flex, bison.

ALeF. Presentación de la asignatura. 9César Ignacio García Osorio. Universidad de Burgos.

¿Por qué coger ALF? (1)

• Permite entender las limitaciones de los ordenadores actuales y de cualquier dispositivo de computación que pueda construirse en el futuro.

• Da una visión de la teoría subyacente en la construcción de compiladores, lo que ayuda a conocer su funcionamiento y a facilitar su uso.

• Los conocimientos que adquiriremos nos facilitarán el análisis de complejos ficheros de configuración o pequeños conjuntos de ordenes de entrada.

ALeF. Presentación de la asignatura. 10César Ignacio García Osorio. Universidad de Burgos.

• En muchas herramientas se usa un lenguaje (el de las expresiones regulares) para especificar elementos de búsqueda.

• De cara a hacer más atractivo el perfil curricular.• Los conocimientos de esta asignatura se

presuponen en otras del ciclo superior (Procesadores de Lenguajes).

¿Por qué coger ALF? (2)

ALeF. Presentación de la asignatura. 11César Ignacio García Osorio. Universidad de Burgos.

Bibliografía (1)• DEAN KELLEY, “Teoría de autómatas y lenguajes

formales”, Prentice-Hall, 1995 (510.62KELteo)[3]• J. GLENN BROOKSHEAR. “Teoría de la

computación. Lenguajes formales, autómatas y complejidad”. Addison-Wesley Iberoamericana, 1993 (510.62BROteo)[2]

• M. ALFONSECA, J. SANCHO, M. MARTÍNEZ. “Teoría de Lenguajes, Gramáticas y Autómatas”. Publicaciones R.A.E.C. 1997 (519.7ALFteo)[3]

• PEDRO ISASI, PALOMA MARTÍNEZ, DANIEL BORRAJO, “Lenguajes, gramáticas y autómatas: un enfoque práctico”, Addison-Wesley, 1997 (519.71ISAlen)[3]

ALeF. Presentación de la asignatura. 12César Ignacio García Osorio. Universidad de Burgos.

Bibliografía (2)• ALFRED V. AHO, RAVI SETHI y JEFFREY D.

ULLMAN, “Compiladores. Principios, técnicas y herramientas”, Addison-Wesley Iberoamericana, 1990 (681.31AHOcom)[3]

• GREGORIO FERNÁNDEZ y FERNANDO SÁEZ VACAS, “Fundamentos de informática: lógica, autómatas, algoritmos y lenguajes”, Anaya Multimedia, 1995 (681.31FERfun)[2]

• N. WIRTH, “Algoritmos+Estructuras de datos = Programas”, Editorial Castillo, 1985 (519.68WIRalg)[2]

ALeF. Presentación de la asignatura. 13César Ignacio García Osorio. Universidad de Burgos.

Bibliografía (3)• JOHN R. LEVINE, TONY MASON y DOUG

BROWN, “lex & yacc”, O’Relly&Associates, 1992 (681.31LEVlex)

• VERN PAXSON, “Flex: Un generador de analizadores léxicos rápidos”, Free Software Foundation, 1995 (http://www.fsf.org, http://es.tldp.org/Manuales-LuCAS/FLEX/)

• CHARLES DONNELL y RICHARD STALLMAN, “Bison: El Generador de Analizadores Sintácticos compatible con YACC”, Free Software Foundation, 1999 (http://es.tldp.org/Manuales-LuCAS/BISON/)

ALeF. Presentación de la asignatura. 14César Ignacio García Osorio. Universidad de Burgos.

Evaluación• Se realizarán dos exámenes parciales y un tercero

final en el que el alumno se examinará únicamente de la materia pendiente.

• La nota final estará constituida por un 60% de la nota de los exámenes, un 30% de la nota de las prácticas, y un 10% de la nota de corrección de ejercicios y participación en clase.

• Es posible la realización de trabajos voluntarios cuya calificación se sumará al 40% de la nota de prácticas y participación en clase.