Finite state machines: 3-state counter

Note that it is not necessary to use all possible states for the counter

3-state counter: reset to 00 after 10

Changes:

Replace entries for state 11 in state transition table with "d"

Next state after state 10 is 00 with input 1