Página Web, con los contenidos teóricos de la asignatura, y para la ejercitación práctica de los contenidos, las siguientes herramientas:

    Simuladores de autómatas finitos, con pila, linealmente acotados y máquina de Turing, para que los alumnos evalúen sus soluciones a los problemas planteados en las clases prácticas.

   Generador de analizadores léxicos a partir de una gramática regular que muestre la generación automática de código desde una especificación formal y las distintas formas de tratar con el no determinismo del autómata finito obtenido: conversión a autómata finito determinista, búsqueda en árboles generados por estados posibles y procesamiento en paralelo de los distintos caminos deterministas generados por el no determinismo del autómata.

   Generador de analizadores sintácticos LL(k) y LR(k) desde la especificación de un lenguaje según su gramática libre de contexto. Aquí, la técnica para atacar el no determinismo del autómata con pila, isomorfo con la gramática del lenguaje, será la de pre-análisis de profundidad k-ésima de la cadena de entrada.