⚙️ Projet : Automates finis

Projet semestriel L2 Gr. B7 de traitement d'automates finis

🖊️ Auteurs

  git clone https://github.com/lionelmarcus10/Automate_fini_standard_deterministe_complet

  pip install -r requirements.txt

  pip install graphviz
  pip install matplotlib
  pip install pandas
  pip install pydot

Puis exécuter le fichier B7_main.py

Avec Visual Studio Code : installer Graphviz Interactive Preview

Avec un autre IDE : copier le continu des fichiers .dot et les coller sur ce site.

Lors du lancement du programme principal, plusieurs fonctionnalités seront proposées :

Numéro	Description
`1`	`Afficher les données d'un automate (tableau + graph)`
`2`	`Afficher les informations d'un automate (det/std/compl)`
`3`	`Transformer un A en AS`
`4`	`Transformer un A en un ADC`
`5`	`Quitter + possibilité de choisir un autre automate`
`6 (Bonus)`	`Calcul de l'automate minimal`
`7 (Bonus)`	`Reconnaissances de mots`
`8 (Bonus)`	`Transformer un A en AC`

Légende : A : automate, AS : automate standard, ADC : automate déterministe complet,

AC : automate complémentaire

L'environnement du projet contient différents dossiers :

Contient l'ensemble des dossiers d'automates

Contient les fichiers .txt des automates initiaux

Contient les fichiers .dot des automates initiaux

Contient les fichiers .dot des automates complets

Contient les fichiers .dot des automates déterminisés

Contient les fichiers .dot des automates déterminisés + complets

Contient les fichiers .dot des automates standards