Mealy often requires less states, as the outputs are asserted in transitions rather than states.

i.e. Output a 1 if detect 0 1 1 sequence