Exercice

Ceci est une adaptation d'un exercice de Mohri, Pereira et Riley, trouvé sur la page web de FSM.

Soit l'automate donné par le fichier source FSM suivant:

0  1  1
0  2  2
1  1  1
2
3  4  4
4  3  3
4

• Dessinez cet automate, puis compilez-le et affichez le en utilisant les outils FSM et dot.
• Quels états sont accessibles depuis l'état initial?
• Quels états permettent d'aller à un état final?
• Utilisez FSM pour supprimer les états inutiles.