Problema minimizzazione automi a stati finiti

[D4rkAng3l]

Verso la fine del mese avrò il secondo esonero di Architetture 1 e ho qualche casino a capire come minimizzare questi maledetti automi a stati finiti...vi prego aiutatemiiii....

Diciamo che dal disegno del mio automa traccio la tabella degli stati futuri che mi dice a fronte di un certo input in che stato salta il mio automa e cosa emette (cosa emette rappresenta il valore memorizzato vero?)

Poi faccio la tabella triangolare per confrontare tutte le coppie di possibili stati:

- Metto una X se in almeno una colonna della tabella degli stati futuri risultano specifiche uscite diverse

- La denominazione della coppia di stati futuri individuata colonna per colonna se in tutte le colonne le uscite risultano uguali

- Pallino se la coppia è indistinguibile.

Il mio problema è il seguente:

Se nella tabella triangolare vado a confrontare una coppia e mia ccorgo che le uscite di output sono uguali ma l'automa salta in stati diversi distinguibili...devo mettere la croce...giusto?

Grazie...
oddio quanto odio gli automi...dite che in 20 giorni ce la faccio a preparare tutta la parte di sequenziale?!?!

Disperazione..a.vevo preso 26 ap primo esonero...questo non mi va giù