Lab 3: Traffic Lights for a Pedestrian Crossing Task: Create a finite state machine based system emulating the operation of a set of pedestrian crossing lights. There should be two sets of lights, one set for traffic and one set for pedestrians. The light for traffic should normally be green. When a pedestrian pushes the crossing button, the lights should change to allow them to cross the road. Pedestrians should not be able to permanently stop traffic by repeated pushing of the button—there should be a suitable delay somewhere in the system so that traffic has a chance to move even if there is a non-stop supply of pedestrians wishing to cross. Background Information: The traffic lights for traffic should follow the standard UK sequence of green, amber, red, red/amber. The lights for pedestrians should only be red and green (i.e. 'cross' and 'don't cross'). You may use the DE0 buttons, LEDs and seven segment displays in any appropriate way to demonstrate the system in operation. Any reasonable assumptions can be stated and made.