1. Autómatas y Lenguajes Formales (2º curso del Grado en Ingeniería Informática)
  2. Modelos de Computación (4º curso del Grado de Ingeniería Informática. Mención de Computación)