Ce projet nous permet de lire des automates finis selon une certaine nomenclature, et ainsi pouvoir effectuer différentes actions sur ces derniers tels que : la standardisation, la déterminisation, la complétion, la minimisation et l'obtention du langage complémentaire.
Thibaut MENIN
Tao SOLAN
Quentin ADELINE
Marc ROUGAGNOU
Soazic FOURNIER
Vous devrez installer les librairies matplotlib et networkx
Lancez le fichier le fichier main.py
Vous trouverez dans le dossier execution les traces d'exécution des opérations sur les automates.