1. Consider a simple traffic light with red, green, and yellow lights. Light changes from red to green when timer expires and the sensor senses a car at the intersection. All other changes (i.e. green to yellow, and yellow to red) occur as timers expire. Draw an FSM that capture the traffic light system. Make “red light” the starting state.

2. Draw a state diagram for an FSM with no inputs and three outputs x, y, and z. xyz should always exhibit the following sequence: 000, 001, 010, 100, repeat. The output should change only on a rising clock edge. Make 000 the initial state.