Finite state machines: counter
Other possible counter variations
Use Mealy machine
Use input to reset
Input 0: increment
Input 1: reset