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