(Computer Science/Logic/Circuits

. A traffic light has tree lights: Red (R), Yellow(Y) and Green(G). The traffic light cycles through Green, Yellow and Red in sequence A sensor(S) detects the flow of the traffic and directs the traffic light to cycle to its next state as follows: if S-0, the state of the traffic light does not change, if S-1, the traffic light cycles to its next state (i.e. from Green to Yellow, from Yellow to Red or from Red to Green.) The Red, Yellow and Green lights are respectively controlled by signals R(1-0n, Off, Y(1-0n, Off) and G(1-0n, Off). When the traffic light is powered on, it starts with the Red light on. Design a sequential logic circuit to control the traffic light. Make sure you're your design includes the following: a) FSM that defines the behavior of this traffic light, b) the states and their encodings, c) truth table and equations for the outputs and state transitions, d) controller circuit for the traffic light. Make sure that you clearly describe: Also make sure that the input/output of the control crcuit and its register are clearly