Consider a two-bit saturating up-down counter with input I. I=1 causes the count to increment, e.g., 00->01->10->11, saturating at state 11 (in other words, the state 11 maintains if it is given the input I=1). I=0 causes the count to decrement, e.g., 11->10->01->00, saturating at state 00.
(a) Draw the state transition diagram. Label the up transitions with '1' and the down transitions with '0'.
(b) Give the state table using Q1(t) and Q0(t) for current state.