Le fichier L_star.py contient notre implémentation de L*, ainsi que notre version modifié se passant de requète d'équivalence (voir la méthode run_without_equivalence).
L_star.py contient un main de test.
Le fichier main.py applique l'algorithme sur tous les fichiers contenu dans le dossier DataAutomate (à créer et remplir).