DEFINITION
an FSM / FA consists of a finite set of transitions from state to state that occur on input symbols chosen from alphabet
formal definition