There are two interpretations to consider in the nonoverlapping case. The first is shown as b-1. In that case, when a 1 output occurs, there must be a 0 input before we can have exactly two 1’s. Thus, after the first 1 output, we do not get started toward another 1 output until after a 0 input.