Finite Automata conversion program