正规文法与自动机等价性

1.右正规文法->FA

1.1步骤

(1)每一个非终结符对应一个状态，并增加一个新的终结状态f

(2)终结符对应字母表

(3)转化关系

A→a                 则δ(A , a)=f
A→aA1|aA2|… |aAk    则  δ(A , a)={A1, A2,…,Ak}

1.2举例

已知 右正规文法 GR＝<{0,1},{A,B,C,D},A,P>, 
P：A→0|0B|1D, B→0D|1C, C→0|0B|1D, D→0D|1D
构造 NFA M=< VN∪{f},VT,δ,S,{f}>

转化关系，其他转化类似

A→0              则δ(A , 0)=f
A→0B              则δ(A , 0)=B

结果

2.左正规文法->FA

2.1步骤

(1)每一个非终结符对应一个状态，并增加一个新的初始状态q0，开始符作为终结状态

(2)终结符对应字母表

(3)转化关系

A→a                          则δ(q0 , a)=A
A1→Aa, A2->Aa, …, Ak-> Aa    则δ(A , a)={A1, A2,…,Ak}

2.2举例

左正规文法 GL ＝（VT,VN,S,P）
  A->A1|B1, B->B0|0
构造M=（{A,B,q0},{0,1},δ, q0, {A})

转化关系

δ(q0,0) =B
δ(B,0)=B
δ(A,1)=A
δ(B,1)=A

结果

3.FA->右正规文法

3.1步骤

(1)

(2)

3.2举例

DFA M =<{A,B,C,D},{0,1}, δ ,A,{B}>

分析：A为初态，B为终态，按照步骤中(2)

结果：

4.FA->左正规文法

类似于FA->右正规文法