Create Automaton.hs