Where should the left and right arrows be directed in order
that the state diagram illustrated detect the input sequence
X = 1011 with overlap?
1 is WRONG. In going to state a, the left arrow would not allow the usage of the most recent 1 as the first 1 of a new sequence. Thus the left arrow should go to state b.