Where should the left and right arrows be directed in order
that the state diagram illustrated detect the input sequence
X = 1011 with overlap?
3 is WRONG. The left arrow is correct, however, the right arrow represents the good sequence X=1011 which can overlap itself 1 bit. Thus the right arrow should go to state b.