FSA
FiniteStateAutomata