State A is the “nowhere” state, where we are looking for the first 0 in the pattern. A 0 gets us to B and then a 1 gets us to C. From there, a 0 input produces a 1 output. Since overlapping is allowed, that 0 input is the first 0 in a new string, and, thus, we return to state B.