Im having trouble setting up the state definition table, and transition diagrams for Moore/Mealy machines for the following:

Im having trouble setting up the state definition table, and transition diagrams for Moore/Mealy machines for the following:

The Clean Laundry Company (CLC) is interested in reducing the risk of personal injury to their customers while operating their washing machine. When a customer wants to open the machine's door, the machine should stop and the drum (motor) should come to a standstill before the door is allowed to open. Otherwise, the customer might get injured. The company installed a switch that the customer activates to indicate they are requesting to open the door. But since the motor doesn't stop immediately, the company installed a sensor that senses the motor's rotation. If this sensor indicates the motor has stopped, then the door is unlocked. Hence, the company installed an electromechanical lock on the door. This lock is controlled by the controller you will design. The controller should do the following: Normally, the machine is on where the motor is rotating in the normal washing cycle and the door is locked. If, in the middle of the cycle, the customer activates the door switch because of a need to open the door, the controller should power off the electric current from the motor so that begins to stop. However, since it doesn't stop immediately, the lock should remain locked until the motor stops. In addition to customer safety issues, this time gives the customer the opportunity to deactivate the door switch in case they change their mind and want the machine to continue the cycle that was interrupted. However, once the rotation sensor gives a 0 signal indicating that the motor has stopped (whether this stopping is because the customer activated the door switch or, say, the washing cycle finished), the lock should unlock and the electric current should power off. At this point, no matter what the customer does, the lock should NEVER lock back again NOR should the motor rotate again. If the customer needs the motor to return to normal operation, they need to call the laundry attendant to reset the controller via a switch that the customer does not have access to. Note that there are two inputs to your controller: the rotation sensor (R) and the door switch (S). Your controller has two outputs that control the washing machine: the electric power output (P) and the door lock output (L).