Where should the left and right arrows be directed in order
that the state diagram illustrated detect the input sequence
X = 1011 with overlap?
2 is CORRECT. The right arrow represents the good sequence X=1011 which can overlap itself one bit as shown as follows:
1011=good 1011=goodNotice that the last bit of the first good sequence overlaps the first bit of the second good sequence. Thus the right arrow should go to state b, which remembers 1 bit of overlap. (If no overlap was required in the later case, the right arrow would go to state a instead). The left arrow represents the bad sequence X=11 which can overlap the good sequence 1 bit as shown here:
11=bad 1011=goodThus, the left arrow should return to state b, since state b remembers one bit of overlap.