Contents:
We want to implement the following Finite State Machine
Follow the instructions in the source file