Gray code is the numbering system used to fill in the coordinates of a K$-$map. You are to design a $2-$bit counter that counts the sequence $00,11,01,10,00,11,01,10,.$ Your counter will have one input, LK$,$ that disables the counter on the next clock cycle, if set, and causes the counter to increment, if clear. Design your circuit as an FSA. Draw a state diagram for the counter, a transition table, give simplified equations for the counter, and draw the circuit diagram.