Distributeur de boissons (FSM Moore)

Trois états : WAIT_COINS, READY, DISPENSE. Chaque impulsion i_coin incrémente un crédit interne. Quand crédit ≥ 3, on passe à READY. Sur i_select, on passe à DISPENSE (o_drink='1' un cycle), puis le crédit est remis à zéro et on revient à WAIT_COINS. o_ready='1' dans l'état READY.