Design a Mealy FSM for a sequence detector for the sequence 01(0*]1, where (0*) is any number of consecutive zeros (at least one). The output should become true every time the sequence is found. You only need to provide the FSM itself