Afinite state machine has one input (X) and two outputs (Z1 and Z2).An output Z1=1 occurs every time the input sequence 101 is observed,provided the sequence 011 has never been seen. An output Z2=1occurs every time the input 011 is observed. Note that once Z2 = 1, Z1=1can never occur. Assuming the machine is to be implemented as a Mealy FSM, draw the state diagram. (Hint: The minimum number ofstates is 8.)