Argomenti trattati il 14/12/2004
Rappresentazione di automi tramite diagramma di stato e tramite tabella.
Diagramma temporale di un automa a fronte di una sequenza di ingresso data.
Esercizio di analisi di una rete sequenziale per il riconoscimento di sequenze con sovrapposizione.
Automi a stati finiti. Automi a stati finiti con output: modello di Mealy e modello di Moore.
Esempio di automa di Moore.
Equivalenza tra stati. Equivalenza tra automi.
N.B. Nell'esercitazione del 16 dicembre viene mostrato il procedimento per la trasformazione da automa di Mealy ad automa di Moore e viceversa.
--
AnnalisaMassini - 20 Dec 2004