Esempio di diagramma degli stati: Distributore di bevande 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 Zero Stato Uno Stato Due m500/nulla Pulsante aranciata/fornisce aranciata Pulsante coca cola/fornisce coca cola m500/nulla Stato Due