Equivalenza tra automi di Mealy e automi di Moore. Trasformazione Moore-Mealy: definizione ed esempio. Trasformazione Mealy-Moore: definizione ed esempio.

Procedura di minimizzazione di automi: dal diagramma di stato dell'automa all'automa in forma tabellare, tabella delle implicazioni (tabella triangolare), individuazione delle classi di equivalenza e diagramma dell'automa minimo. Utilizzazione del grafo di equivalenza per i casi non risolvibili sulla tabella triangolare.

-- AnnalisaMassini - 06 Dec 2002