Finite state machines: counter
q
1
q
0
x
0
0
0
0
0
1
0
1
0
0
1
1
1
0
0
1
0
1
1
1
0
1
1
1
1a. State transition table inputs
