TEORIA DEGLI AUTOMI Una macchina sequenziale a stati finiti o AUTOMA a stati finiti è un sistema sequenziale che ha un insieme finito di stati interni, di variabili di ingresso e di variabili di uscita ed è possibile identificare in esso uno stato iniziale ed uno stato finale
MODELLI DI MOORE E MEALY Gli automi possono essere rappresentati con i modelli di Moore e di Mealy, che pur essendo diversi per il modo in cui definiscono l’evoluzione del sistema, si equivalgono
MODELLO DI MOORE Gli ingressi della rete di uscita sono le sole variabili di stato
MODELLO DI MEALY Gli ingressi della rete di uscita sono le variabili di stato e gli ingressi esterni
DIAGRAMMA DEGLI STATI PER IL MODELLO DI MOORE S1 U=1 S0 U=0 I=0
DIAGRAMMA DEGLI STATI PER IL MODELLO DI MEALY I=1/U=1 S1 S0 I=0/U=0