Automa a stati finiti

Esempio di diagramma degli stati:

Distributore di bevande

Distributore di bevande

Descrizione:• L'automa è un distributore di bevande che

distribuisce due tipi di bevande emettendo una lattina dopo che sono state introdotte due monete da L.500 ed è stato scelto il tipo di bevanda. L'automa non restituisce monete.

Distributore di bevande

Dichiarazione variabili

• variabili di ingresso(i): -MONETA: indica se è stata inserita la moneta. Valori assunti = {0,1} -BEVANDA: indica se è stata assunta la

bevanda. Valori assunti = {a,c}

Distributore di bevande

• variabili di uscita(u):-BEVANDA: indica se è stata erogata la bevanda

scelta. Valori assunti = {a,c}

• variabili di stato(s): Valori assunti = {stato zero,stato uno,stato

due}

Grafico

Stato

Uno

Stato

Zero

Stato

Due

m500/nulla

m500/nulla

Pulsan

te

aranciata/forn

is

ce aranciata

Pulsan

te coca

cola/fornisce coca

cola