Added FiniteAutomata and corresponding menu class