Departamento de Informática

 

Teoría de Autómatas y Lenguajes Formales II
 

(Último curso con docencia: 2011-12)
Área: Ciencia de la Computación e Inteligencia Artificial 
Titulación: Ing. Téc. Informática de Sistemas, tercer curso. 
Carga: Cuatrimestral de 4,5 créditos, troncal. 
Profesor: 
Teodoro Calonge Cano
Objetivos
  • Introducción a los Lenguajes y Gramáticas Independientes de Contexto.
  • Modelo abstracto de una computadora: Máquinas de Turing.
  • Paradigmas de Computación alternativos: Redes Neuronales Artificiales.
Temario de la asignatura 

Artículo EL PAIS (21/03/2012). Año 2012 centenario del nacimiento de Alan Turing.

  • Tema 4: Introducción a las Redes Neuronales Artificiales.
    • Neurocomputación: Diapositivas (formato PDF)
      • Introducción
      • Modelo biológico
      • Breve reseña histórica
      • Modelo de McCulloch-Pitts
      • Arquitectura
      • Aprendizaje y recuperación
      • Aplicaciones reales

       

    • Perceptrón y Adaline: Diapositivas (formato PDF)
      • Definición y funcionamiento
      • Interpretación geométrica
      • Aprendizaje del Perceptrón: Regla de Hebb
      • Teorema de convergencia del perceptrón
      • Aprendizaje del Adaline: Regla Delta
      • Problema del XOR
      • Práctica

       

    • Perceptrón Multicapa: Diapositivas (formato PDF)  
      • Arquitectura y funcionamiento
      • Algoritmo de retropropagación del error
      • Aplicación al reconocimiento de patrones estáticos
      • Aproximación funcional
      • Práctica

       

    • Cuestiones y problemas: Diapositivas (formato PDF)  
 
Bibliografía
  • "Teoría de Autómatas y Lenguajes Formales", Dean Kelley. Ed. Prentice Hall, 1995.
  • “Compiladores. Principios, técnicas y herramientas”, Aho A.V., Sethi R,. & Ullman J.D. Ed: Addison – Wesley Iberoamericana. 1990.
  • "Teoría de la Computación. Lenguajes Formales, autómatas y complejidad", J. Glenn Brookshear. Ed. Addison-Wesley Iberoamericana, 1993.
  • "Introducción a la Teoría de Autómatas, Lenguajes y Computación", John E. Hopcroft & Jeffrey Ullman. Ed. CECSA, 1995.
  • "Lenguajes, Gramáticas y Autómatas. Un enfoque práctico.", Pedro Isasi, Paloma Martínez y Daniel Borrajo. Ed. Addison-Wesley, 1997.
  • "Redes Neuronales y Sistemas Borrosos", B. Martín del Brío y A. Sanz Molina. Ed. Ra-Ma, 1997.
  • "An Introduction to Neural Networks", Ben J.A. Kröse & P.Patrick van der Smagt.  University of Amsterdam, Faculty of Mathematics & Computer Science (The Netherlands). Eighth Edition, November 1996.
  • "Redes Neuronales Artificiales. Un enfoque práctico", Pedro Isasi Viñuela e Inés M. Galván León. Ed. Pearson - Prentice Hall, 2004
Clases (45): Aula 005 y LAB 105
  • Febrero (8): 14, 15, 16, 21, 22, 23, 28 y 29  (17 y 24).
  • Marzo (13): 1, 6, 7, 8, 13, 14, 15,  20, 21, 22, 27, 28 y 29 (2, 9, 16, 23 y 30).
  • Abril (8): 3, 4, 17, 18, 19, 24, 25 y 26 (20 y 27).

  • Mayo (15): 2, 3, 8, 9, 10, 11, 15, 16, 17, 18, 22, 23, 24, 25 y 29.
Prácticas
  • Simulación de Máquinas de Turing.
En el siguiente enlace existe un simulador de máquina de Turing:

http://ironphoenix.org/tril/tm/

 

  • Simulación de redes neuronales artificiales dedicadas fundamentalmente al reconocimiento de patrones, en particular, de caracteres escritos.

Prototipo para la simulación de un perceptrón multicapa (MLP), mapa autoorganizado (SOM) y red de base radial (RBF). Se precisa, al menos, Windows95 para su ejecución.

SimRna.zip(618Kb)

Para realizar las prácticas de reconocimiento de patrones estáticos, a continuación aparecen los enlaces para descargar los ficheros de muestras de aprendizaje y verificación.

Digitos.Entrenamiento(29K)

Digitos.Entrenamiento (normalizados)

Digitos.Test(8K)

Dígitos.Test (normalizados)

ACLARACIÓN adicional acerca del contenido de estos ficheros.

  • Utilización de MATLAB®. 

Introducción al manejo de esta aplicación: "Aprenda MATLAB 7.0 como si estuviera en primero".

Autores: Javier García de Jalón, José Ignacio Rodríguez y Jesús Vidal. 
Escuela Técnica Superior de Ingenieros Industriales. Universidad Politécnica de Madrid.

 
Tutorías
  • Según horario de tutorías expuesto en el tablón de anuncios. 
  • Solicitud de día y hora mediante correo electrónico:
teodoro@infor.uva.es
    Asimismo, se recuerda que el periodo de exámenes es no lectivo, motivo por el cual, se suspenderán las tutorías.
Evaluación
  • Se realizará un examen escrito sobre los contenidos teóricos y prácticos de la asignatura en cada convocatoria:
1ª Convocatoria: lunes 11 de junio de 2012 a las 9h en el aula 06. Enunciado (formato PDF)

2ª Convocatoria: jueves 19 de julio de 2011 a las 9h en el aula 06.  Enunciado (formato PDF)

Extraordinaria fin de carrera: martes 13 de diciembre de 2011 a las 16.30h en el aula 02.
Datos de esta página
    URL de esta página: http://www.infor.uva.es/~teodoro/AutomatasII.html
    Actualizado el viernes, 19 de octubre de 2012