Automate emonde et deterministe

[invite5c6c364b]

Bonjour,

Je travaille actuellement sur les automates déterministe et émondé.
J'ai plusieurs problème sur un exercice que je tente de faire.

Il me faut calculer un automate déterministe émondé qui reconnait le complémentaire du langage reconnu par l'automate : (voire l'image)

Je n'arrive pas à comprendre la procédure à suivre,
d'abord je determinise, j'émonde (suppression des états inutiles) l'automate donné.
Puis dans un autre plan, je determinise et complémente l'automate donné.
Enfin, je vérifie que ces deux automates ont les mêmes états finaux??
J'ai fait comme ça mais je trouve n'importe quoi...
Je ne suis pas sure également de la méthode à utiliser pour émonder, en émondant seul un etat disparait chez moi.

Auriez vous une idée????? ou une solution

Merci !!!!!!!
-----

[inviteb52e2270]

Bonjour,

Peux tu nous donner ce que tu obtiens en rendant cet automate déterministe ? (Au passage, le fait de rendre un automate déterministe conciste - entre autre - à l'émonder)

Bonne journée,
Julian

[invite5c6c364b]

Voila, C'est fait. Bon, C'est un peu voire tres moche comme j'ai fais ca à la va vite sur le vieux paint. Mais je pense que C'est compréhensible.

En déterminisant, l'automate devient émondé ?!
Dans le determinisé que je viens de faire, seul l'etat 'puit' est inutile et donc a supprimer, n'est ce pas?
Les états inutile, C'est bien ceux avec lesquels on ne peut arriver à un état final??