Finite automaton graph now built correctly