ESEMPIO AUTOMI PALERMO-FOGLIA 3IA
SPIEGAZIONE ESERCIZIO AUTOMI Questo automa,svolge la funzione che da uno stato pronto,inserendogli due monete dello stesso valore,restituisce a richiesta o una coca-cola o una aranciata. Se viene inserita una terza moneta in eccesso,l’ automa restituisce automaticamente la moneta,ritornando così allo stato “moneta2”.
Le Variabili VARIABILI D’ INGRESSO: MONETA{0,1} – BEVANDE{I coca-cola,I aranciata} VARIABILI D’ USCITA:RESTO{0,1} – BEVANDE{U coca-cola,U aranciata} VARIABILI DI STATO:S ={PRONTO ,MONETA1 ,MONETA 2}
S=Moneta 1 S=pronto S=Moneta 2 M=1/moneta 1 M=0/pronto M=1/niente I coca-cola/U coca-cola M=2/moeta2 M=1/resto I aranciata/U aranciata S=Moneta 2