Progettare un controller per un distributore automatico che accetta tre tipi di monete di 
valore 5,10 e 25, rispettivamente. La merce viene erogata al raggiungimento del valore 20. 
Il distributore prevede un resto massimo di una moneta da 5 e di una da 10. 
==========================================================================================
SOLUZIONE:

Descriviamo l'automa a stati finiti. Gli ingressi sono:

            X = {moneta da 5, moneta da 10, moneta da 25}

le uscite sono:

            Z = {Nessuna merce, Nessuna merce rifiuta la moneta, Merce senza resto,
                 Merce con resto 5, merce con resto 10, merce con resto 15} 

  
Per gli stati invece abbiamo:

            S = {A,B,C,D}    

dove:

       A = Nessun credito

       B = Credito 5

       C = Credito 10

       D = Credito 15

Il diagramma di flusso sara' il seguente: