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?
3 is WRONG. The right arrow should return to state a because it cannot overlap itself. Thus, the right arrow is correct. However, the left arrow represents a bad sequence X=000 and should go to State c where the last 2 zeros can be used as the first 2 zeros of a good sequence X=0011. toward a new 0011 sequence. Go to State c.