Exercice 31 modifié (corrigé de Michaël Périn)
On ajoute deux transitions à l'exercice 31 pour le compliquer : (4,b,4) et (2,epsilon,0)
Minimisez l'automate obtenu
Minimisation
- initial partition = { {{},{0},{0,1,2,3,4}} }
- splitting
- states {}
/{0} : NOT same accepting status So, {{},{0},{0,1,2,3,4}} is splitted into {{}} || {{0},{0,1,2,3,4}} - states {0}
/{0,1,2,3,4} : NOT same behavior on symbol 'b' So, {{0},{0,1,2,3,4}} is splitted into {{0}} || {{0,1,2,3,4}}
- states {}
- final partition = { {{}} , {{0}} , {{0,1,2,3,4}} }