A car seat is designed to ensure that a parent does not forget a sleeping child in the back of their car. There are two sensors in the car seat. The first one is located directly under the child. The purpose of this sensor is to detect if the seat is being occupied by a child. The other sensor detects if a fob key is 10 meters away from the seat. If the key is over 10 meters away, the sensor will give a high reading. If the key is less then 10 meters away, the key will give a low reading. There are two outputs to this machine. The first is a notification that is sent to the parent if the child is left in the car, and the second is a cooling system that turns on if the child remains in the car while the parent is away. If the child is in the seat and the parent walks away with the fob key, then the circuit will move into a first violation state and a notification will be sent to the parent. If this same reading is made on the next clock cycle, then the machine will move into a second violation state and another notification will be sent. If this happens again the machine will move toward an emergency state where both the cooling system is turned on and the notification is sent. In this emergency state, the cooling system will only be turned off if the child is removed from the seat. However, if a parent approaches a car, within 10 meters, while in the emergency state the machine will not send a notification, but it will keep the cooling system on.

Required:
You are to design TWO finite-state synchronous machines, one being a Moore design and the other being a Mealy design. Depending on the application you have to decide whether you have to synchronize the outputs of the Mealy machine or not. You can use either D flip flops or J-K flip flops for your designs. Mixing different types of flip flops with different trigger edge sensitivity is possible but not recommended. Note that two designs which differ by only the type of flip flop (e. g., J-K vs. D) or number of states (i. e., changing the type of FF or inserting more unnecessary states) is not considered conceptually different.