Teaching 2020-21

MPRI 2.16: Modèles de calcul et automates finis


I teach the third part of this course on weighted automata, transducers and a category theoretic approach to automata minimization and learning.
Due to the sanitary crisis the lectures are held online, on BBB.


Lecture 1: Weighted automata. Basic definitions. Rational series.
Lecture 2: The Kleene–Schützenberger Theorem.
Lecture 3: Minimal automata. Factorization system, initial and final objects. Minimal object in a category.

References:

Concepts Informatique


Logique


Eléments D'Algorithmique


Initiation à la Programmation 2