Argomenti trattati il 9 dicembre 2008

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 di un automa. Equivalenza tra automi.

Equivalenza tra automa di Mealy e automa di Moore.

Rappresentazione di automi tramite tabella. Procedimento per la trasformazione da automa di Mealy ad automa di Moore.

Procedura di minimizzazione di automi: tabella delle implicazioni (tabella triangolare).

-- AnnalisaMassini - 10 Dec 2008