Departamento de Tecnologas de la Informacin

Teora de Autmatas
y
Lenguajes Formales

Ciencias de la Computacin e Inteligencia Artificial

Presentacin

Profesores

Profesor: Francisco Jos Moreno Velo (Fran)

Web del profesor: http://www.uhu.es/francisco.moreno/
Web de la asignatura: http://www.uhu.es/francisco.moreno/talf/
Email: francisco.moreno@dti.uhu.es
Telfono: 959 21 76 59
Despacho: Edif. Torreumbra, desp. 10 (La Rbida)
Tutoras:
Lunes, de 10:00 a 13:00
Viernes, de 10:00 a 13:00

Teora de Autmatas y Lenguajes Formales

Presentacin

Horario

Teora:
Martes, de 16:00 a 17:30
Edificio Alonso Barba, aula AB7.

Prcticas:
Martes, de 13:30 a 15:00
Edificio Von Neumann, aula 6.

Teora de Autmatas y Lenguajes Formales

Presentacin

Temario terico

Temario terico
Tema 1: Introduccin
Tema 2: Fundamentos de la Teora de Lenguajes Formales
Tema 3: Fundamentos de la Teora de Gramticas Formales
Tema 4: Autmatas Finitos
Tema 5: Gramticas Regulares
Tema 6: Gramticas Independientes del Contexto
Tema 7: Autmatas con Pila
Tema 8: Mquinas de Turing

Teora de Autmatas y Lenguajes Formales

Presentacin

Temario prctico

Temario prctico

Prctica 1: Desarrollo de un analizador lxico con FLEX

(2 sesiones)

Prctica 2: Desarrollo de un analizador lxico en C

(3 sesiones)

Prctica 3: Desarrollo de un analizador sintctico ascendente con Bison

(2 sesiones)

Prctica 4: Desarrollo de un analizador sintctico descendente en C

(2 sesiones)

Prctica 5: Desarrollo de un traductor descendente recursivo

(2 sesiones)

Teora de Autmatas y Lenguajes Formales

Cronograma

Presentacin
Fecha

Tema

22 de febrero

Presentacin

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

Teora de Autmatas y Lenguajes Formales

Presentacin

Evaluacin
Evaluacin

Forma de evaluacin:

Calificacin terica:

Dividida en dos partes: terica y prctica

Evaluacin de los exmenes de las convocatorias oficiales
Se requiere un mnimo de 5.0 puntos

Calificacin global:

La calificacin final: 70% calificacin terica, 30% calificacin prctica

Se requiere un mnimo de 5.0 puntos en total
Las notas de teora y de prcticas se conservarn entre las convocatorias de Junio,
Septiembre y Diciembre.

Teora de Autmatas y Lenguajes Formales

Presentacin

Evaluacin
Evaluacin

Calificacin prctica:

La asistencia a las clases de prcticas es obligatoria y ser controlada. No obstante, se

permite faltar a un mximo de un 20% de sesiones de laboratorio.
Se realizarn cuatro prcticas durante el curso. Para cada una de ellas habr una
fecha de entrega, despus de la cual, se considerar no presentada. Toda la
informacin relativa a cada una de ellas (incluida las fechas de entrega de cada una
de ellas) se ir poniendo en la seccin de prcticas.
La calificacin del trabajo en el Laboratorio de Informtica ser sobre 3 puntos. stos
se alcanzarn, mediante una evaluacin continua, de la siguiente manera:
1 punto se obtiene por asistir a un 80% ms prcticas y 0 en caso contrario.
1 punto se obtiene por las entregas de las prcticas. Las entregas son obligatorias y las
prcticas tendrn que funcionar correctamente. Para poder aprobar la parte prctica de la
asignatura es requisito haber superado todas las prcticas
1 punto se obtiene por una prueba final individualizada al terminar el total de las sesiones.
La realizacin de la prueba implica el uso de la convocatoria correspondiente.

Las prcticas a entregar para la convocatoria de septiembre sern una versin

modificada de las prcticas de la convocatoria de junio. Lo mismo ocurrir con las
prcticas de la convocatoria de diciembre, que sern distintas a las de junio y
septiembre.

Teora de Autmatas y Lenguajes Formales

Presentacin

Convocatorias

Convocatorias

Convocatoria de diciembre
Mircoles, 1 de diciembre, 10:00

Convocatoria de junio
Lunes, 20 de junio, 10:00

Convocatoria de septiembre
Viernes, 16 de septiembre, 10:00

Teora de Autmatas y Lenguajes Formales

Presentacin

Bibliografa

Bibliografa bsica

J.E. Hopcroft, R.Motwani, J.D. Ullman, "Introduccin a la Teora de

Autmatas, Lenguajes y Computacin", Editorial Addison-Wesley, 2002.

J. G. Brookshear, "Teora de la computacin. Lenguajes formales, autmatas y

complejidad", Editorial Addison-Wesley Iberoamericana, 1993.

D.Kelley, "Teora de Autmatas y lenguajes formales" Editorial PrenticeHall, 1995.

P.Isasi, P.Martnez, D.Borrajo, "Lenguajes, Gramticas y Autmatas: un

enfoque prctico", Editorial Addison-Wesley Iberoamericana Espaa, 1997.

M. Alfonseca, J. Sancho, M. Martnez Orga, "Teora de Lenguajes,

Gramticas y Autmatas", Editorial Promo-Soft, publicaciones R.A.E.C.

10

Teora de Autmatas y Lenguajes Formales

Presentacin

Bibliografa

Bibliografa complementaria

A.V. Aho, R. Sethi, J.D. Ullman, "Compiladores: principios, tcnicas y

herramientas", Editorial Addison-Wesley, 1990.

J.E. Hopcroft, J.D. Ullman, "Introduction to automata theory, languages and

computation", Editorial Addison-Wesley, 1979.

G.E. Revesz, "Introduction to formal languages", Editorial Mc Graw-Hill,

1983.

J.C. Martin, "Introduction to languages and the theory of computation",

Editorial Mc Graw-Hill, 1991.

11

Teora de Autmatas y Lenguajes Formales