Here is the next state/output table for the vending machine example (from ELM, Page 178).
Present | next | next | next | release | return all | return |
state | state | state | state | candy | coins | change |
s0 | s0 if coin=0 | s1 if coin=1 | s5 if coin = 0 | 0 | 0 | 0 |
and return=0 | and return = 0 | and return = 1 | ||||
s1 | s0 if sum<75 | s2 if sum=75 | s3 if sum>75 | 0 | 0 | 0 |
s2 | s0 | - | - | 1 | 0 | 0 |
s3 | s4 if change | s5 if change | - | 0 | 0 | 0 |
available = 1 | available = 0 | - | ||||
s4 | s2 | - | - | 0 | 0 | 1 |
s5 | s0 | - | - | 0 | 1 | 0 |
The left four columns specify the next state function f, and the right three columns specify the output function (Moore-type).
ANU Engineering - ENGN3213