Design Example: Inputs, Outputs and States
Consider the student association coffee vending machine which sells coffee at 15¢/cup. The machine will accept nickles, dimes, and quarters, one at a time. The coffee release line will be set to true when 15¢ or more has been put into the machine and the machine will return the correct change.
M1 = ( ?1, Q1, Z1, ?1, ?1?)