Pour exécuter les fichiers, taper "make" dans un terminal, puis ./automaton + "nom_du_fichier.aut" (s'assurer que les fichiers des automates sont bien inclus dans le même dossier que les fichiers du projet).

Pour stopper la lecture, taper au clavier "Fin de lecture", avec retour à la ligne.

Merci pour la lecture !