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?
2 is WRONG. The right arrow must go back to state a, since there is no overlap. (State b remembers one bit of overlap.)