A sequence recognizer FSM that has one input X, one output Y, and uses two D-flip-flops A - B as state variables, is described by the following next-state flip-flop excitation and output equations: DA=ADat=XtBDD=BDit=XY=XA The input sequence that it recognizes is: 101 100 011 110