• Introducción a la Informática Teórica, en particular, a la Teoría de Computación.
• Teoría de Lenguajes Formales. Jerarquía de Chomsky.
• Relación entre lenguaje formal y autómata.
• Simulación de ciertos autómatas de estados finitos.

• Tema 1: Teoría de Conjuntos y su aplicación a los Lenguajes Formales. 
• Tema 2: Máquinas Secuenciales. 
• Tema 3: Reconocedores finitos. Hoja de problemas (formato PDF) 
• Tema 4: Lenguajes Regulares: Jerarquía de Chomsky 

  Ejemplo de generador de AFN y AFD a partir de expresiones regulares

• Tema 5: Gramáticas y Lenguajes Independientes del Contexto. Hoja de problemas (formato PDF)

• "Teoría de Autómatas y Lenguajes Formales", Dean Kelley. Ed. Prentice Hall, 1995.
• "Teoría de la Computación. Lenguajes Formales, autómatas y complejidad", J. Glenn Brookshear. Ed. Addison-Wesley Iberoamericana, 1993.
• "Teoría de lenguajes, gramáticas y autómatas", Manuel Alfonseca, Justo Sancho y Miguel Martínez Orga. Ed. R.A.E.C., 1997.
• "Introducción a la Teoría de Autómatas, Lenguajes y Computación", John E. Hopcroft, Rajeev Motwani & Jeffrey D. Ullman. Ed. Addison Wesley, 2002.
• "Lenguajes, Gramáticas y Autómatas. Un enfoque práctico.", Pedro Isasi, Paloma Martínez y Daniel Borrajo. Ed. Addison-Wesley, 1997.
• "Teoría de Autómatas y Lenguajes Formales", Gonzalo Ramos Jiménez. Universidad de Málaga. ISBN: 84-607-7694-8.
• "Teoría de lenguajes, gramáticas y autómatas", Enrique Alfonseca Cubero, Manuel Alfonseca Moreno y Roberto Moriyón Salomon. Ed. McGraw-Hill, 2007.
• "Matemática Discreta", J.C. Ferrando & V. Gregory. Ed. Reverté S.A, 1994.

• Septiembre (6): 20, 21, 22, 27, 28 y 30
• Octubre (11): 4, 5, 6, 11, 13, 18, 19, 20, 25, 26 y 27.
• Noviembre (13): 2, 3, 8, 9, 10, 15, 16, 17, 22, 23, 24, 29 y 30.

• Diciembre (8): 1, 7, 13, 14, 15, 20, 21, y 22.

• Enero (3): 10, 11 y 12

• Simulación de diversos tipos de autómatas mediante programas de ordenador.

• Según horario de tutorías expuesto en el tablón de anuncios. 
• Solicitud de día y hora mediante correo electrónico:

Asimismo, se recuerda que el periodo de exámenes es no lectivo, motivo por el cual, se suspenderán las tutorías.

• Se realizará un examen escrito sobre los contenidos teóricos y prácticos de la asignatura en cada convocatoria: 

1ª Convocatoria: viernes 20 de enero de 2012 a las 16h en el aulas 06. Examen (formato PDF)

2ª Convocatoria: viernes 13 de julio de 2012 a las 9h en el aula  05. Examen (formato PDF)

Extraordinaria fin de carrera: pendiente por concretar entre el 28 de noviembre y 3 de diciembre de 2011
 

• Las calificaciones estarán disponibles en el tablón de anuncios del centro y en el espacio reservado a cada alumno en el portal UVA.
   

• Asimismo, aquellos alumnos que lo manifiesten expresamente en la parte de atrás del enunciado del examen, se les hará llegar la calificación por correo electrónico a la cuenta proporcionada por la Universidad (@alumnos.uva.es).

URL de esta página: http://www.infor.uva.es/~teodoro/AutomatasI.html
Actualizado el viernes, 19 de octubre de 2012