Design a circuit using JK flip-flops that takes in a binary stream B0B1B2B3 and outputs 1 at a time t if the stream recieved thusfar (i.e. BoB1..Bt-1Bt), when read as an unsigned binary number, is divisible by 3.
a. Draw the state machine assuming that the machine starts in the right state at time t = 0
b. give the algebraic formula (simplified as much as possible) for the J and K inputs of your flip-flops, and also for the output.