Traitement d’automate finiReconnaissance de mot
Programme à développer
Votre programme doit effectuer les traitements indiqués dans le tableau ci-après, et illustrés dans le schéma suivant :

Les traitements doivent être exécutés dans l’ordre de leur numérotation.
Chaque traitement devant produire un automate (1, 2, 4, 5 et 6) doit impérativement se terminer par l’affichage d’une table de transitions, avec indication des états initiaux et terminaux.
1- Lire un automate contenu dans un fichier et le stocker en mémoire.
Vous avez le choix de la syntaxe utilisée pour le fichier. La syntaxe doit cependant être suffisamment simple pour qu’on puisse très facilement, sur demande de l’enseignant pendant la soutenance, effectuer quelques modifications sur les automates existants, voire ajouter un automate simple.
Le choix du fichier à lire se fait au travers de l’interface utilisateur (pendant l’exécution de votre programme). La saisie clavier de l’automate (sans fichier) n’est pas prévue.
2- Standardiser l’automate résultant de l’étape 1, s’il ne l’est pas (option).
Votre programme doit tout d’abord indiquer si l’automate est standard ou non puis, le cas échéant, le standardiser.
3- Vérifier si l’automate résultant de l’étape 1 est déterministe ou non.
Cette étape doit se faire indépendamment du processus de déterminisation.
Le résultat, « déterministe » ou « non déterministe », doit s’afficher clairement.
4- Rendre déterministe l’automate résultant de l’étape 1, s’il ne l’est pas déjà.
Entre autres choses, votre programme doit indiquer clairement à quels états de l’automate initial correspond chacun des états de l’automate déterministe, ce qui veut dire qu’il vaut mieux garder, pour les états composés de l’AFD, la notation correspondant à l’ensemble d’états de l’AF non déterministe auxquels ils correspondent.
5- Rendre complet l’automate issu de l’étape 4 (ou de l’étape 1 s’il est déjà déterministe).
Votre programme doit d’abord indiquer si l’automate