形式语言与自动机有穷自动机PPT.ppt

* NFA → DFA: 消除无用的状态 1 0 0, 1 q0 q1 q2 NFA: DFA: {q0, q1} {q0, q2} {q0} 0 1 0 1 0 1 {q0, q1, q2} 0 1 0 {q1, q2} {q1} {q2} ? 0 1 , 1 0 1 0, 1 将DFA中不可达的状态消除掉。 * 南京航空航天大学计算机学院 胡军 * 子集构造法的一般步骤 NFA DFA 状态 q0, q1, …, qn φ, {q0}, {q1}, {q0,q1}, …, {q0,…,qn} 每个状态都是NFA的一个子集。 初始状态 q0 {q0} 转换 d d’({qi1,…,qik}, a) = d(qi1, a) ∪…∪ d(qik, a) 接受状态 F í Q F’ = {S: S 包含 F中至少一个状态} * 南京航空航天大学计算机学院 胡军 * NFA-DFA等价性的形式化证明 定理3.1 设L是被一个非确定的有穷自动机接受的语言，则存在一个确定的有穷自动机也接受这个语言L。 证明 设 M=(Q,∑,δ,q0 , F)是一个接受L的NFA，现在构造一个DFA M′=(Q′,∑,δ′,q0′,F′)，其中： Q′=2Q, 即Q的每一个子集作为Q′的一个状态，若子集为{q1,q2,…,qk}，则 Q′中状态记为[q1,q2,…,qk]； q0′={q0}； F′ 2Q:F′的每个元素至少包含F中的一个状态； δ′的定义为： δ′([q1,q2,…,qi],a)= [p1,p2,…,pj] 当且仅当 δ（{q1,q2,…,qi},a）= {p1,p2,…,pj} (a∈∑)。 * 南京航空航天大学计算机学院 胡军 * NFA-DFA等价性的形式化证明 证明L(M′)=L(M)=L。先证一个更一般的命题： δ′(q0’,x)=[q1,q2,…,qk] iff δ(q0,x)={q1,q2,…,qk} （x∈∑*）。 (3-1) 对x的长度∣x∣用归纳来证明。 归纳基础 ∣x∣=0，即x=ε。因为 δ′(q0′,ε)= q0′=[q0], δ(q0,ε)={q0}。 根据δ′的定义。所以（3-1）式成立。 归纳步骤 设对于|x|≤m的输入串（3-1）式成立，现在考虑长度为 m+1的输入串xa(x∈∑*，a∈∑)。因为一方面 δ′(q0′,xa)=δ′(δ′(q0′,x),a)， （1） 另一方面 δ(q0,xa)=δ(δ(q0,x),a) 。 （2） * 南京航空航天大学计算机学院 胡军 * NFA-DFA等价性的形式化证明 由归纳法假设，因为x长度为m，以下（3）式成立，即δ′(q0′,x)=[p1,p2,…,pj]当且仅当δ(q0,x)={p1,p2,…,pj}。 （3） 再由δ′的定义： δ′([p1,p2,…,pj],a)=[r1,r2,…,rs] 当且仅当 δ({p1,p2,…,pj},a)={r1,r2,…,rs} （4） 将（3），（4）代入（1），（2）两式，即得出 δ′(q0′,xa)= [r1,r2,…,rs] 当且仅当δ(q0,xa) ={r1,r2,…,rs}。 从而（3-1）式得到证明。 有了（3-1）式之后，若[q1,q2,…,qk]∈F′,则q1,q2,…,qk 至少有一个在F 中；反之，若{q1,q2,…,qk}中有一个状态在F中，则[q1,q2,…,qk]∈F′。这就 是说，M和M′接受的语言是相同的，即L(M′)=L(M)=L。定理证毕。 这个定理不仅证明了NFA和DFA两类自动机的等价性，而且还给出了从一 个NFA构造与它等价的DFA的具体步骤，这种证明称为构造性的证明方法。 * 南京航空航天大学计算机学院 胡军 * NFA-DFA等价构造的例子 例3.5 设M=({q0,q1},{0,1},δ,q0,{q1})是一个NFA，其中： δ（q0,0）={q0,q1}, δ（q0,1）={q1}, δ（q1,0）=Φ , δ（q1,1）={q0,q1}。 根据定理3.1，我们能构造出等价的DFA: M′=( Q, {0,1},δ′,[q0], F ) 其中： Q={[q0],[q1],[q0,q1],Ф}, F={[q1],[q0,q1]}, δ′([q0],0)=[q0,q1], δ′([q0],1)=[q1], δ′([q1],0)=Φ, δ′([q1],1)=