Studio dell'automa distributore di lattine

Un distributore di lattine accetta monete da 5,10,20 e 50 centesimi;il prezzo della lattina, di un unico tipo, e è di 80 centesimi; il distributore non da resto ma l'eventuale resto non consegnato vale come credito per l'erogazione successiva.

Passi dello sviluppo:

• Descrizione dell'automa con il grafo degli stati (consegna entro sabato 3 febbraio ore 20.30)
• Descrizione dell'automa con le tabelle di transizione e trasformazione (consegna entro domenica 3 febbraio ore 20.30)