We intend to design using sequence detector DF$/$F$,$ which generates output y as $\text{'}1\text{'}$ when three or more $\text{'}$O$\text{'}$s are in succession from the input x$.($That is$,$ if the input x is $0$ or $00,$ the output y must be $0$ and from the time x is $000,$ the output y must be $1.$ If the next input is $0,$ y remains $1,$ but if the next input is $1,$ y becomes $0,$ and returns to the initial state.$)$

a$)$ Draw a state diagram

b$)$ Write a state table

c$)$ Using K $-$ map, simplify each F$/$ Finput and output expression.

d$)$ Draw a sequence detector circuit using the D F$/$F and logic gate.

I have question during solvig b$).$ My question is on image.

Which one is correct anwser?

I think $11$ is correct answer.Because output should be expreesed as output in the present state, not as value when going to next state.Which one is correct?