Argomenti trattati il 22/11/2002
Rappresentazione di automi tramite diagramma (grafo) e tramite tabella.
Diagramma temporale di un automa a fronte di una sequenza di ingresso data.
Automi a stati finiti. Automi a stati finiti con output: modello di Mealy e modello di Moore.
Equivalenza tra stati. Equivalenza tra automi.
--
AnnalisaMassini - 25 Nov 2002