Uno stato s si dice stabile se e solo se:
" per ogni coppia ordinata ingresso stato <i,t> tale che delta(i,t)=s si ha delta(i,s)=s "
Da notare, nella definizione di stato stabile s, l'ingresso i con cui si perviene in s partendo da uno stato t
Nel testo la definizione di macchina Asincrona e' la seguente:
"Una macchina e' asincrona se e solo se, partendo da uno stato totale stabile, cambiando l'ingresso, in un numero finito di passi, si arriva in un altro stato totale stabile.
In base a questa definizione in una macchina Asincrona a due stati almeno uno deve essere associato ad uno stato totale stabile <i,s> ?
Nelle varie definizioni di flip-flop durante la lezione mi e' sfuggito quali sono riferite a macchine Asincrone o Sincrone.
Potrebbe essere utile postarle qui al forum?
[Modificato da acabb 26/10/2007 21:01]