public DfaPlumber(Dfa dfa) { SetDfa(dfa); }
public DfaMinimizer(Dfa dfa) : base(dfa) { }
protected void SetDfa(Dfa dfa) { Dfa = dfa; this.states = VisitStates(); }