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
la tabella di verità dovrebbe essere questa però ora non so come fare a scrivere la funzione di cambiamento di stato in forma SP.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
grazie
______________