Introduction
A Finite State Machine is a model of computation, i.e. a conceptual tool to design systems. It processes a sequence of inputs that changes the state of the system.
When all the input is processed, we observe the system's final state to determine whether the input sequence was
