cosa intendi per "mettere don't care"? in questa fase della minimizzazione i don't care non servono proprio a nulla
![:)](http://www.r0x.it/public/style_emoticons/default/smile.png)
forse ti riferisci alle coppie di stati che non sono state "eliminate" dopo la prima analisi della tabella.. ad es. la coppia di stati S0-S2?
Se ti riferisci a questi ultimi il metodo giusto è il seguente:
se i due stati non sono stati eliminati, ma sono "potenzialmente" indistinguibili, effettuo un'altra analisi della tabella.. gli stati S0-S2 fanno riferimento alla coppia S1-S0: ciò indica che queste due coppie di stati POTREBBERO essere indistinguibili. Per rendertene conto vai a controllare la coppia di stati S1-S0: se quest'ultima ha una X (per dirla in parole povere) gli stati S1 ed S0 non sono indistinguibili e dunque non saranno indistinguibili neanche quelli che fanno riferimento a questi ultimi (cioè S0 ed S2).. in pratica metti una bella X anche in corrispondenza di S0-S2! in caso contrario, crei una classe di equivalenza.
così procedi per tutti gli stati..
1) la coppia S1-S4 fa riferimento ad S0-S3, coppia di stati NON indistinguibile: non saranno indistinguibili neanche S1 ed S4
2) idem per le coppie S4-S6 ed S2-S4, che facevano riferimento ad S0-S3
3) la coppia S2-S3 fa riferimento ad S1-S6, non indistinguibili.
Spero di essere stata chiara