public void DefineNewLink(char c, DFAState new_s) { next[c] = new_s; }
public DFAState(List <NFAState> ss, char c, DFAState new_s) : this(ss) { DefineNewLink(c, new_s); }