等价性 对于每个NFA M存在一个DFA M',使得L(M)=L(M')--------等价性证明,NFA的确定化 假定NFA M=<S, Σ, δ, S 0 , F>,我们对M的状态转换图进行以下改造: 解决初始状态唯一性:引进新的初态结点X和终态结点Y,X,Y∉S,从X到S 0中任意状态结点连一条ε箭弧, 从F中任意状态结点连一条ε箭弧到Y 简化弧上的标记:对M的状态转换图进一步施行替换,其中k是新引入的状态 逐步把这个图转变为每条弧只标记为Σ上的一个字符或ε,最后得到一个NFA M',显…