Where should the left and right arrows be directed in order
that the state diagram illustrated detect the input sequence
X = 0011 with no overlap?
4 is WRONG. The left arrow is correct, however, the right arrow must go back to state a, since there is no overlap in the good sequence X=0011.