词法分析:从 NFA 到 DFA 的转换

解题方法

1. 写出 K’

K’ 是 K 的全部子集,其中空集 Ø 可以剔除掉(即 K’ 为 K 的幂集)。注意这里 { } 要换成 [ ]。

2. 求 VT’

V T = V T V_{T'}=V_T VT=VT

3. 求 S’

S = [ S ] S' = [S] S=[S]

4. 求 M’

M ( [ S 1 , S 2 , <mtext>   </mtext> , S i ] , a ) = [ R 1 , R 2 , <mtext>   </mtext> , R j ] a V T M&#x27;([S_1,S_2,\dots\ ,S_i],a) = [R_1,R_2,\dots\ ,R_j] \quad a \in V_T M([S1,S2, ,Si],a)=[R1,R2, ,Rj]aVT

看上去有点复杂,好像看不懂。没关系,看下面例题就懂了。

5. 求 Z’

Z = { [ S 1 , S 2 , . . . , S n ] [ S 1 , S 2 , <mtext>   </mtext> , S n ] K { S 1 , S 2 , <mtext>   </mtext> , S n } <mtext>   </mtext> Z <mtext>   </mtext> <mtext>   </mtext> } Z&#x27; = \{[S_1,S_2,...,S_n] | [S_1,S_2,\dots\ ,S_n] \in K&#x27; 且 \{S_1,S_2,\dots\ ,S_n\} \cap\ Z \neq\ \varnothing\ \} Z={[S1,S2,...,Sn][S1,S2, ,Sn]K{S1,S2, ,Sn} Z̸=  }

看上面公式很复杂,其实就是求 K’ 中含有 Z 的集合。

6. 改写

把 M’ 中的状态重命名一下,改写一下,画出 (DFA)M’ 的状态转换图。

例题

(NFA) M = ( {A, B}, {a, b}, M, {A}, {B} ) ,其中 M 定义如下:M (A, a) = {A, B} M (A, b) = {B} M (B, a) = ø M (B, b) = {A, B} 请构造相应确定有穷自动机 (DFA) M’

解:

1. 写出 K’

K’ 的元素是 [A] [B] [A, B]

2. 求 VT’

V T = { a , b } V_{T&#x27;}=\{a, b\} VT={a,b}

3. 求 S’

S = [ A ] S&#x27; = [A] S=[A]

4. 求 M’

由于 M(A, a)={A, B},故有 M’([A], a)=[A, B]

同样 M’([A],b)=[B]

M’([B],a)= ø

M’([B],b)=[A,B]

由于 M({A,B},a)= M(A,a)U M(B,a)= {A,B}U ø= {A,B}

M’([A,B],a)= [A,B]

由于 M({A,B},b)= M(A,b)U M(B,b)={B}U {A,B} = {A,B}

M’([A,B],b)= [A,B]

5. 求 Z’

终态集 Z’={[A,B],[B]}

6. 改写

重新定义:令0=[A] 1=[B] 2=[A, B],则DFA如下所示: