You are to ?nd the state-machine diagram for the following electronic vending-machine speci?cation. The vending machine sells soda for $1.50 per bottle. The machine accepts only D ($1 bills) and Q (quarters = 25¢). When the sum of money is greater than $1.50, i.e., two $1 bills, the machine returns change in the coin return (two quarters). When $1.50 has been paid, the machine lights an LED to indicate that a soda ?avor may be selected. The choices by pushbutton are C (Cola), L (Lemon soda), O (Orange soda), and R (Root Beer). When one pushbutton is pushed, the selected soda is dispensed and the machine returns to its initial state. One other feature is that an LED comes on to warn the user that two quarters are not available for change, so if a second $1 bill is inserted, no change will be given.
a) Find the state-machine diagram for the soda vending machine as speci?ed.
b) The speci?cation as given is not very user friendly. Rewrite it to provide a remedy for every possible situation that the user might encounter in using the machine.