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

Tamaño: px

Comenzar la demostración a partir de la página:

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

Milagros Bustos Fernández
hace 5 años
Vistas:

2 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. 2

3 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. 3

4 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. 4

5 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. 5

6 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. 6

7 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. 7

8 UD 4: Lenguajes regulares Temario (2) 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. 8

9 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. 9

10 Por qué coger ALF? (2) 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). ALeF. Presentación de la asignatura. 10

11 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 (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. 11

12 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. 12

13 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 ( CHARLES DONNELL y RICHARD STALLMAN, Bison: El Generador de Analizadores Sintácticos compatible con YACC, Free Software Foundation, 1999 ( ALeF. Presentación de la asignatura. 13

14 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. ALeF. Presentación de la asignatura. 14

Documentos relacionados

Descriptor. Objetivos (1) Objetivos (2)

Descriptor. Objetivos (1) Objetivos (2) 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