Map of character code points to subsequent transition states.
final Map<int, NfaState> transitions = {};