A State machine has one input x(t), one output y(t), and two-bit state (Q_1(t), Q_0(t)). Its behavior over time is described by the following state equations. Q_1(t+1)=Q_0(t)Q_1(t)+Q_0(t)Q_1'(t) Do the above state equations describe a Moore machine or Mealy machine? We want to implement this FSM by using two D flip-flops and (AND, OR, NOT) gates. Complete the following state table. Draw the state diagram using the following state assignments: SO=00 (Q_1,Q_0), S1 = 01 (Q_1,Q_0), S2 = 10 (Q_1,Q_0), S3 = 11 (Q_1,Q_0)