A finite state machine is defined as a Tuple where:
- is the input Alphabet, the set of symbols that represent events that can trigger state transitions.
- is a finite set of states
- is an initial state and an element of
- is the state transition function
- is the set of final states, a subset of
