Abstract node operations with a type class. This modification will allow to use the dynamic automata version with different node implementations. In particular, user will be able to decide whether the speed is more important (and use IntMap for adjacency vectors' representation) or memory (vector containers).
I have abstracted transition map operations instead. Since transition map is a part of the node structure, this solution is simpler and more to the point.
Abstract node operations with a type class. This modification will allow to use the dynamic automata version with different node implementations. In particular, user will be able to decide whether the speed is more important (and use IntMap for adjacency vectors' representation) or memory (vector containers).