Teoría de la Computación

Programa de la Materia
Apuntes en PDF

• Tema 1: Introducción y Autómatas de Estados Finitos
• Tema 2: Expresiones regulares y Autómatas con Salida, [Taller de POSIX], [Presentación de Autómatas con Salida] [Revisión de egrep]
• Tema 3: Propiedades de los Lenguajes Regulares, Presentación de Propiedades de los Lenguajes Regulares
• Tema 4: Gramáticas Libres de Contexto (GLC)

• Hopcroft, J. y Ullman, J. Introduction to automata theory, languages, and computation. Addison-Wesley. 1979.
• Kain, R. Automata Theory. Mc. Graw-Hill. 1972.
• Sudkamp, T. Languages and Machines. Reading, Massachusetts. 1997.
• John Martin, Introduction to Languages and the Theory of Computation (Third edition) McGraw Hill, 2003
• Juan M. Cueva, Lenguajes, Gramáticas y Autómatas. Segunda Edición, Oviedo, 2001. (Libro electrónico)
• Serafín Moral, Teoría de Autómatas y Lenguajes Formales. Granada, 2001. (Libro electrónico)

Enlaces de Interés

• SELFA: Software para la Enseñanza de Lenguajes Formales y Automatas Profesional
• Animador de Expresiones Regulares
• FSA6.2xx: Finite State Automata Utilities
• Jflap - un paquete de herramientas gráficas para orientar el aprendizaje de los conceptos básicos de la Teoría de Lenguajes Formales y Autómatas.

Semestre A2012

Horario

Lunes 2 a 4, 3S02
Martes 2 a 4, 4O08
Jueves 2 a 4, 4O08

Horario de Consulta

Jueves 4 a 6, Cubículo

Plan de Evaluación (Teoría)
Planificación Docente
Notas