With all this in mind, construct an FSM that simulates the work of a pressure plate built into the road at an intersection. For simplicity's sake, a traffic light will turn green when a car is on it, and it will turn red when a car drives away. Let's assume the pressure plate starts with no car on it, so there's a red light. Don't worry about accepting states in this case. The arbitrary number "0" denotes a car is off the plate, and "1" means a car is on the plate. (It may be easier to think of input 0 as capturing "a car leaves the plate" or "the plate continues to be empty" and input 1 as "a car enters the plate" or "the plate continues to be depressed"). Output "a" when the light color changes and "b" when it doesn't. Note that this machine shouldn't have any accepting states (nor do we have to define/think about a starting state per se)