You are on page 1of 11

Departamento de Tecnologías de la Información

Teoría de Autómatas
y
Lenguajes Formales

Ciencias de la Computación e Inteligencia Artificial

moreno/ – Web de la asignatura: http://www. 10 (La Rábida) – Tutorías: • Lunes.es – Teléfono: 959 21 76 59 – Despacho: Edif.moreno/talf/ – Email: francisco. de 10:00 a 13:00 • Viernes.Presentación Profesores – Profesor: Francisco José Moreno Velo (Fran) – Web del profesor: http://www.uhu.es/francisco.uhu.es/francisco.uhu.moreno@dti. desp. Torreumbría. de 10:00 a 13:00 2 Teoría de Autómatas y Lenguajes Formales .

aula AB7. de 13:30 a 15:00 • Edificio Von Neumann. aula 6. – Prácticas: • Martes. de 16:00 a 17:30 • Edificio Alonso Barba.Presentación Horario – Teoría: • Martes. 3 Teoría de Autómatas y Lenguajes Formales .

Presentación Temario teórico Temario teórico • Tema 1: Introducción • Tema 2: Fundamentos de la Teoría de Lenguajes Formales • Tema 3: Fundamentos de la Teoría de Gramáticas Formales • Tema 4: Autómatas Finitos • Tema 5: Gramáticas Regulares • Tema 6: Gramáticas Independientes del Contexto • Tema 7: Autómatas con Pila • Tema 8: Máquinas de Turing 4 Teoría de Autómatas y Lenguajes Formales .

Presentación Temario práctico Temario práctico • Práctica 1: Desarrollo de un analizador léxico con FLEX – (2 sesiones) • Práctica 2: Desarrollo de un analizador léxico en C – (3 sesiones) • Práctica 3: Desarrollo de un analizador sintáctico ascendente con Bison – (2 sesiones) • Práctica 4: Desarrollo de un analizador sintáctico descendente en C – (2 sesiones) • Práctica 5: Desarrollo de un traductor descendente recursivo – (2 sesiones) 5 Teoría de Autómatas y Lenguajes Formales .

Cronograma Presentación Fecha Tema 22 de febrero Presentación 1 de marzo Tema 1 8 de marzo Tema 2 15 de marzo Tema 3 22 de marzo Tema 4 29 de marzo Tema 4 5 de abril Tema 5 12 de abril Tema 5 19 de abril FESTIVO 26 de abril Tema 6 3 de mayo Tema 6 10 de mayo Tema 7 17 de mayo Tema 7 24 de mayo 31 de mayo 7 de junio 6 Teoría de Autómatas y Lenguajes Formales .

Septiembre y Diciembre.0 puntos Calificación global: – – – La calificación final: 70% calificación teórica.Presentación Evaluación Evaluación • Forma de evaluación: – • Calificación teórica: – – • Dividida en dos partes: teórica y práctica Evaluación de los exámenes de las convocatorias oficiales Se requiere un mínimo de 5. 30% calificación práctica Se requiere un mínimo de 5. 7 Teoría de Autómatas y Lenguajes Formales .0 puntos en total Las notas de teoría y de prácticas se conservarán entre las convocatorias de Junio.

No obstante. de la siguiente manera: • 1 punto se obtiene por asistir a un 80% ó más prácticas y 0 en caso contrario. Lo mismo ocurrirá con las prácticas de la convocatoria de diciembre. se permite faltar a un máximo de un 20% de sesiones de laboratorio. • 1 punto se obtiene por las entregas de las prácticas. Para poder aprobar la parte práctica de la asignatura es requisito haber superado todas las prácticas • 1 punto se obtiene por una prueba final individualizada al terminar el total de las sesiones. 8 Teoría de Autómatas y Lenguajes Formales . – Las prácticas a entregar para la convocatoria de septiembre serán una versión modificada de las prácticas de la convocatoria de junio. Las entregas son obligatorias y las prácticas tendrán que funcionar correctamente. Para cada una de ellas habrá una fecha de entrega. mediante una evaluación continua.Presentación Evaluación Evaluación • Calificación práctica: – – – La asistencia a las clases de prácticas es obligatoria y será controlada. después de la cual. se considerará no presentada. Éstos se alcanzarán. Se realizarán cuatro prácticas durante el curso. La realización de la prueba implica el uso de la convocatoria correspondiente. La calificación del trabajo en el Laboratorio de Informática será sobre 3 puntos. Toda la información relativa a cada una de ellas (incluida las fechas de entrega de cada una de ellas) se irá poniendo en la sección de prácticas. que serán distintas a las de junio y septiembre.

20 de junio. 1 de diciembre. 10:00 • Convocatoria de septiembre – Viernes. 10:00 • Convocatoria de junio – Lunes. 10:00 9 Teoría de Autómatas y Lenguajes Formales .Presentación Convocatorias Convocatorias • Convocatoria de diciembre – Miércoles. 16 de septiembre.

Hopcroft. D. Editorial Addison-Wesley Iberoamericana. 2002. "Teoría de Lenguajes. 1993. "Introducción a la Teoría de Autómatas. "Lenguajes. P. 1997.Martínez. J. Editorial Addison-Wesley. Gramáticas y Autómatas: un enfoque práctico".Presentación Bibliografía Bibliografía básica • J. • P. autómatas y complejidad". Lenguajes formales. "Teoría de Autómatas y lenguajes formales" Editorial PrenticeHall. Sancho. Editorial Addison-Wesley Iberoamericana España.E. Brookshear. M. R. • M.D. Editorial Promo-Soft. publicaciones R. Alfonseca.C. "Teoría de la computación. Gramáticas y Autómatas". • D. Martínez Orga.Borrajo. J.E. 10 Teoría de Autómatas y Lenguajes Formales . Ullman.Kelley.Isasi.Motwani.A. G. • J. 1995. Lenguajes y Computación".

J. Sethi.D. "Introduction to automata theory. 1991. Editorial Addison-Wesley. Editorial Mc Graw-Hill.E. 1990.V. "Compiladores: principios. R. 11 Teoría de Autómatas y Lenguajes Formales .E. 1979. J. Editorial Mc Graw-Hill. 1983. • G. Ullman. Aho. Ullman. Editorial Addison-Wesley.C. "Introduction to formal languages". técnicas y herramientas". "Introduction to languages and the theory of computation". Hopcroft. languages and computation". • J. Revesz.Presentación Bibliografía Bibliografía complementaria • A.D. • J. Martin.