added FiniteAutomata.hs