{@code edgessymbol} points to target of symbol. Shift up by 1 so (-1) {@link Token#EOF} maps to {@code edges0}.
symbol
0
List<DFAState?>? edges;