finite_automata

type DFA struct {
	S            *ISet // 有穷状态集合
	Sigma        *ISet // 输入符号表
	InitialState *ISet // 初始状态
	FinalState   *ISet // 终结状态
}

type DFATable struct {
	State       *ISet
	Input       *ISet
	ChangeTable [][]interface{}
}

type IFA interface {
	Delta(startState *ISet, edgeA *ISet) *ISet
}

type ISet struct {
	CharSet *complicated.MySet
}

type NFA struct {
	S            *ISet
	Sigma        *ISet
	InitialState *ISet
	FinalState   *ISet
	// contains filtered or unexported fields
}