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();
}
