Ce dépôt contient une présentation sur la minisation d'automates et, en particulier, sur l'algorithme d'Hopcroft.
Elle a été donné par Lucas Willems pour le cours "Langages formels, calculabilité et complexité" donné par Damien Vergnaud pour la L3 d'informatique de l'ENS Ulm.
Ce dépôt contient :
- le rapport de la présentation
- le diaporama de la soutenance