] Construct a finite-state machine that models a vending machine accepting only quarters that gives a container of orange juice when 50 cents has been deposited, followed by a button being pushed. (The possible inputs are quarters and the button, and the possible outputs are nothing, orange juice, and a quarter. The machine returns any extra quarters.)