c. If we start with the “nowhere” state, that is, where the output is to be 0 and we are looking for the first 1, the success path consists of 1 1 0 0, at which point the output goes to 1. If that is followed by a 1, the output remains 1. It also remains 1 if there is another 1 input and then a 0 input (which gets the system back to state D). That produces the following start for the state diagram.