changed representation of automaton edges