A DFA walker that knows how to dump them to serialized strings.
A DFA state represents a set of possible ATN configurations.