Me divierte la teoría de los autómatas (en palabras infinitas). Puede sugerir buenas conferencias de vídeo sobre el tema?
Un curso ideal abarcaría temas como los autómatas Buchi, la traducción LTL->Buchi, los autómatas Streett y de paridad, la determinación (o idea...), la complementación, la minimización, los autómatas alternantes. También tocar el tema de los autómatas arbóreos.
Estoy seguro de que estos temas se imparten en universidades que cuentan con fuertes grupos de métodos formales (por ejemplo, en Múnich, Saarland, París, Varsovia, etc.), pero, por desgracia, esas clases no se graban ni se comparten (que yo sepa).
(hay una buena aquí pero sólo es accesible desde la Universidad RWTH)
