On vous demande d’écrire en Ocaml les fonctions suivantes (partie obligatoire du mini projet) :
1) Fonction « complet » qui prend un automate et retourne true si cette automate est complet
sinon elle retourne false.
2) Fonction « deterministe » qui prend un automate et retourne true ou flase selon que
l’automate est déterministe ou noin.
Pour les deux fonctions suivantes, vous êtes demandés de programmer l’une d’elles au choix.
3) Une fonction « dissiner_automate : » qui prend un automate et dessine cet automate sur
une fenêtre graphique.
4) Une fonction « minimaliser » qui prend un automate quelconque et retourne un automate
minimal.
Le livrable, à fournir
Dans tous les cas il faudra donner, un tout cohérent avec :
- Les codes sources et les inclus (corrects: compilables et bien commentés).
- Des exemples d’exécution : les données en entrée, et celles en sortie qui ont été obtenues, avec
ces mêmes sources
- un document qui explique ce que fait le programme, comment l'utiliser, et quelle est sa
conception. Donner un exemple qui utilise les mêmes données que celles qui auront été fournies (en
entrée et en sortie).