A set of traffic lights at a pedestrian crossing is to be controlled by a Finite State Machine.

A set of traffic lights at a pedestrian crossing is to be controlled by a Finite
State Machine. You are required to provide the following:
i) A state diagram to define the state transition logic and any Mealy
outputs,
[10 marks]
ii) A brief description of each state’s behaviour; Moore outputs, any
flags used etc.,
[10 marks]
iii) A brief justification of design choices (e.g. count_max values chosen
per state).