Distributore di Lattine Esempi di Automi a Stati Finiti Di: Rossetti Andrea e Canciani Stefano Classe 3^IA 2009/2010 ITIS – A. Bernocchi
Distributore di Lattine Questo Automa distribuisce lattine di un solo tipo dopo che sono state inserite due monete di un unico valore. Se il distributore è spento si “mangia” la moneta eventualmente introdotta.
Distributore di Lattine Variabili d’Ingresso I = Moneta. Descrive l’inserimento della moneta. Valori assunti = {0 (nessuna moneta), 1 (moneta inserita)} Variabili d’Uscita U = Bevanda. Descrive l’erogazione della bevanda. Valori assunti = {0 (bevanda non erogata), 1 (bevanda erogata)}
Distributore di Lattine Variabili di Stato S = Stato. Descrive il valore che l’automa può assumere Valori assunti = {Spento, Attesa prima moneta, Attesa seconda moneta}
Distributore di Lattine Rappresentazione grafica (Spento) 1 (moneta)/ 0 (bevanda non erogata)
Distributore di Lattine Rappresentazione grafica (Acceso) Attesa seconda moneta Attesa prima moneta