[Automata.hs] Simplified process and execute functions. Add toNFA.