Bonjour,
 
Pour m'amuser (oui je sais j'ai de drôle d'amusements), je programme une librairie de gestion d'automate afin d'effectuer de l'analyse lexicale et syntaxique, pour l'instant je me contente des automates fini déterministes et non déterministes.
Même si je ne compte pas utiliser l'algo de Brzozowski, je souhaite tout de même le mettre en œuvre, ce que j'ai fait, mais lors des tests je suis tombé sur ce cas qui ne me convient pas : cf. image qui décrit mes étapes du calcul.
Sachant que par un algorithme de Moore (plus trop sûr du nom), je trouve ces classes d'équivalences : ((G D B) (F C) (E) (A)), j'en déduit que l'automate minimal doit posséder 4 états et non pas 5 .
Pouvez-vous me dire où se situe l'erreur dans l'image, à quel passage je commets une erreur ?
 
Merci.
 
Note: Dans ma mise en œuvre, je ne peut avoir qu'un seul état initial, étant donné que l'inversion peut générer plusieurs états initiaux, je m'en sort en prenant le premier final trouvé auquel j'ajoute des transitions à vides vers les autres états finaux. Lors de la déterminisation je commence par supprimer les transitions à vides.
 
(Pour info l'exemple est issu de http://pop-art.inrialpes.fr/~girau [...] s/td6.html )