Bonjour,
Je poste ce message pour avoir une petite confirmation au sujet de la minimisation d'automate.
Imaginons l'automate suivant :
Etat 1 : En a : va en 3; En b : va en 1
Etat 2 : En a : va en 3, En b : va nulle part
Etat 3 (final) : En a : va en 3, En b : va en 1
SI ensuite, je veux minimiser cet automate, lors de la première itération, j'obtiens le schéma suivant :
1 2 3
0 I I II
a II II II
b I / I
Donc pour 1 on a le chemin : I - II - I et pour 2 : I - II - /
Donc je voulais la confirmation, ces chemins sont donc bien différents ? Le fait que l'état 2 n'admette aucune transition en B, ne change pas le comportement de l'algo ?
Merci !
Oui. Ton automate est déterministe, mais un AF déterministe n'est pas forcément complet.
D'accord ! Merci à toi !
Il faut faire attention quand ton automate n'est pas complet. Il faut d'abord commencer par compléter ton automate en rajoutant un etat puits : tu rajoutes un état 4 (non final), la transition de 2 vers 4 en lisant b, et des transitions de 4 vers 4 en lisant a et en lisant b.
Ensuite, tu fais l'algo de minimisation dans ce nouvel automate complété.
Sur ton exemple ça donne le même résultat, mais dans le cas général il peut y avoir une différence.
Donc avant chaque minimisation, je dois compléter mon automate avec un état poubelle (s'il n'est pas complet) ?
Oui, il faut supprimer les états non-accessibles, et le compléter, puis ensuite faire la minimisation.
D'accord merci à toi !