5. State Diagrams [25 points]A sequential circuit has one input X and two outputs Z1 and Z2. An outputZ1 = 1 occurs every time the input sequence 100 is complete provided thatthe sequence 011 has never occurred. An output Z2 = 1 occurs every time theinput 011 is complete. Note that once a Z2 = 1 output has occurred, Z1 = 1can never occur but not vice-versa.• Draw a Mealy state diagram. (Mealy means that the outputs depend onboth the current state and the input.)• Assign binary labels to the stat