Solution for Section 7.2 Question 1

1. For this finite-state automaton:

• the set of inputs is 5, 10 and 20 cents;
• the set of states is "0 cents deposited", "5 cents deposited", "10 cents deposited", "15 cents deposited" and "20 or more cents deposited";
• the initial state is "0 cents deposited";
• the accepting state is "20 or more cents deposited";
• the next state function is the sum of the present state and the next coin input.

A transition diagram is:

Back to Section 7.2