Informatique MPI
Le chapitre 3 a été continué ; les automates émondés, complet, déterministes, et l'algorithme de déterminisation ont été vus, ainsi que l'élimination des transitions $\varepsilon$.
Les résultats de stabilité par complémentaire, intersection, et union (avec construction de l'automate produit), n'ont été vu que plus récemment, de même que le théorème de Kleene et les deux algos sous-jacents (Berry-Sethi et élimination d'états), et le lemme de l'étoile n'a pas encore été abordé.
On pourra donner des exercices un peu plus poussés autour des automates et faire admettre le théorème de Kleene si nécessaire.