A finite state machine (FSM) is an abstract machine used to model a sequential system or a computer program. An FSM can be represented as a directed graph having a set of N nodes representing states connected with a given set of directed edges. A