Suppose you are to develop a state diagram for a washing machine and then use it to design an FSM circuit. The machine starts when a coin is deposited. It then sequences through the following stages: soak, wash, rinse and spin. There is a "double wash" switch, which, if turned on, causes a second wash and rinse to occur.
There is one timer - you may assume that each stage should take the same amount of time. The timer begins ticking as soon as the coin is deposited, generating a T signal at the end of the time period, and then resets itself and starts again.
If the lid is raised during the spin cycle, the machine stops spinning until the lid is closed. You may assume that the timer suspends ticking when the lid is raised. Hint: Identify you inputs and outputs, draw the state diagram that implements this finite state machine, and then develop the circuit.