Provides algorithms and structures for treating the automaton like a regular vertex-edge graph.