prima di tutto chiedo scusa se ho sbagliato sezione ma non so dove postare questo mio dubbio:

il mio problema è questo:
io ho una FSM con quattro stati:
Q={q0,q1,q2,q3}
tre simboli in ingresso:
I={a,b,c}
e due simboli in uscita:
O={x,y}
Poi so che la funzione di cambiamento di stato è fatta cosi:
f:IxQ->Q

La FSM è fatta cosi:
allo stato q0 se l'input è a va in q1, se l'input è b o c rimane in q0
allo stato q1 se l'input è b va in q2, se l'input è a o c ritorna in q0
allo stato q2 se l'input è c va in q3, se l'input è a o b ritorna in q1
allo stato q3 se l'input è a va in q0, se l'input è b o c ritorna in q2

ora devo trovare la funzione di cambiamento di stato e scriverla in forma SP(somma di prodotti)

ora io ho provato a fare una tabella di verità più o meno fata cosi:
dove I0 e I1 sono i due bit di input che mi codificano a=00, b=01, c=10
Q0 e Q1 invece mi codificano lo stato presente: Q0=00;Q1=01;Q2=10;Q3=11
e q0 e q1 invece mi codificano lo stato futuro: q0=00;q1=01;q2=10;q3=11
codice:
I0 I1       Q0 Q1     q0 q1 
0   0       0     0     0    1 
0   0       0     1     0    0 
0   0       1     0     0    1 
0   0       1     1     0    0 
------------------------ 
0   1       0     0     0    0 
0   1       0     1     1    0 
0   1       1     0     0    1 
0   1       1     1     1    0 
------------------------ 
1   0       0     0     0    0 
1   0       0     1     0    0 
1   0       1     0     1    1 
1   0       1     1     1    0
la tabella di verità dovrebbe essere questa però ora non so come fare a scrivere la funzione di cambiamento di stato in forma SP.

grazie
______________