For debugging and other purposes.
List<String> get dfaStrings { final s = <String>[]; for (var d = 0; d < interpreter!.decisionToDFA.length; d++) { final dfa = interpreter!.decisionToDFA[d]; s.add(dfa.toString(vocabulary)); } return s; }