• 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 (2): 29 y 30
• Octubre (13): 1, 6, 7, 8. 13, 14, 15, 20, 21, 22, 27, 28 y 29.
• Noviembre (12): 3, 4, 5, 10, 11, 12, 17, 18, 19, 24, 25, y 26.

• Diciembre (9): 1, 2, 3, 9, 10, 15, 16, 17 y 22.

• Enero (7): 7, 12, 13, 14, 19, 20 y 21.

• 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: lunes 8 de febrero de 2010 a las 16h en las aulas 03 y 04. Examen (formato PDF)

2ª Convocatoria: miércoles 14 de julio de 2010 a las 16h en las aulas  05 y 06. Examen curso anterior (formato PDF)

Extraordinaria fin de carrera: viernes 8 de enero de 2010 a las 16h en el aula 03
 

• 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 miércoles, 17 de marzo de 2010