public DPDA(string name, string[] names, char[] InputAlphabet, char[] Workalphabet, DPDATransform Transform, uint StartState, params uint[] acceptedStates) : base(name, names, InputAlphabet, StartState, acceptedStates) { this.WorkAlphabet = Workalphabet; this.Transforms = Transform; CheckConstraints(); }
public DPDA(string name, uint StatesCount, char[] InputAlphabet, char[] Workalphabet, DPDATransform Transform, uint StartState, char? Startsymbol, uint[] acceptedStates) : base(name, StatesCount, InputAlphabet, StartState, acceptedStates) { this.WorkAlphabet = Workalphabet; this.Transforms = Transform; this.StartSymbol = Startsymbol; CheckConstraints(); }