Automa a stati finiti: differenze tra le versioni

* <math>f: I \times S \rightarrow \mathcal{P} (S)</math> ''funzione di transizione'' parziale degli stati interni successivi, che collega al valore attuale dell'ingresso e dello stato un sottoinsieme di S (quindi ad un sottoinsieme di possibili stati in S).

* <math>g: I \times S \rightarrow U</math> funzione delle uscite (eventualmente parziale), che collega l'uscita al valore attuale dell'ingresso e dello stato, <math>U(t) = f(S(t), I(t)) </math>

 

== Differenza tra ASFD ed ASFND ==