第5章词法分析.pptVIP

本章学习结束 A B C D 1 0 0,1 1 1 0 f 0 0 0 GR(A) ： A→0 | 0B | 1D B→0D | 1C C→0 | 0B | 1D D→0D | 1D 从GR出发构造NFA M = {A, B, C, D, f}, {0, 1}, ??, A, {f}，M的状态转换图如右图所示。 显然 L(M) = L(GR)。 例: 5.5 正规文法与有限自动机的等价性 定理： 1.对每一个右线性正规文法G或左线性正规文法G，都存在一个有限自动机(FA) M，使得L(M)＝L(G)。 2.对每一个FA M，都存在一个右线性正规文法GR和左线性正规文法GL，使得L(M)＝L(GR)＝L(GL)。 证明2：对每一个DFA M，都存在一个右线性正规文法GR和左线性正规文法GL，使得L(M)＝L(GR)＝L(GL)。 设DFA M=S, ?, ?, s0, F (1) 若s0?F，我们令GR=?, S, s0, P，其中P是由以下规则定义的产生式集合： 对任何a??及A,B?S，若有?(A,a)=B，则： (a) 当B?F时，令A→aB， (b) 当B?F时，令A→a|aB。 对任何w??*，不妨设w=a1…ak，其中ai?? (i=1,…k)。若s0 w，则存在一个最左推导： s0?a1A1?a1a2A2?…?a1…aiAi ?a1…ai+1Ai+1?…?a1…ak 因而，在M中有一条从s0出发依次经过A1，…，Ak-1到达终态的通路，该通路上所有箭弧的标记依次为a1,…,ak。反之亦然。所以，w?L(GR)当且仅当w?L(M)。 现在考虑s0?F的情形： 因为?(s0, ?)=s0，所以??L(M)。但?不属于上面构造的GR所产生的语言L(GR)。不难发现，L(GR)=L(M)-{?}。 所以，我们在上述GR中添加新的非终结符号s0?，(s0??S)和产生式s0??s0|?，并用s0?代替s0作开始符号。这样修正GR后得到的文法GR?仍是右线性正规文法，并且L(GR?)=L(M)。 (2) 类似于(1)，从DFA M出发可构造左线性正规文法GL，使得L(GL)=L(M)。 最后，由DFA和NFA之间的等价性，结论2得证。 若有?(A,a)=B： (a) 当A= q0时，令B→a， (b) 当A ≠q0时，令B→Aa L(M) = 0(10)* GR = {0, 1}, {A, B, C, D}, A, P，其中P由下列产生式组成： A→0 | 0B | 1D B→0D | 1C C→0 | 0B | 1D D→0D | 1D L(GR) = L(M) = 0(10)* 例3.4 设DFA M = {A, B, C, D}, {0, 1}, ?, A, {B}。M的状态转换图如下图所示。 A B C D 1 0 0,1 1 1 0 0 从NFA M出发构造左线性正规文法GL = {0, 1}, {B, C, D, f}, f, P?，其中P?由下列产生式组成： f→0 | C0 C→B1 B→0 | C0 D→1 | C1 | D0 | D1 | B0 易证 L(GL) = L(M)。 例3.4 设DFA M = {A, B, C, D}, {0, 1}, ?, A, {B}。M的状态转换图如图3.9(a)所示。 A B C D 1 0 0,1 1 1 0 f 0 0 0 FA 正规集 正规式 DFA NFA 正规文法 5.6 正规式与有限自动机的等价性 定理： 1. 对任何FA M，都存在一个正规式r，使得L(r)=L(M)。 2. 对任何正规式r，都存在一个FA M，使得L(M)=L(r)。 对转换图概念拓广，令每条弧可用一个正规式作标记。(对一类输入符号) 证明： 1 对?上任一NFA M，构造一个?上的正规式r，使得L(r)=L(M)。 首先，在M的转换图上加进两个状态X和Y，从X用?弧连接到M的所有初态结点，从M的所有终态结点用?弧连接到Y，从而形成一个新的NFA，记为M’，它只有一个初态X和一个终态Y，显然L(M)=L(M’)。 然后，反复使用下面的一条规则，逐步消去的所有结点，直到只剩下X和Y为止； 代之为 i j r1 r2 k i k r1r2 代之为 i j r1|r2 i j r2 r1 代之为 i k r1r2*r2 i j r1 r3 k r2 1 2 3 5 4 U1 V1 U2 V2 W2 W1 1 2 5 4 V1(U1|U2)*W1 V1(U1|U2)*W2 V2(U1|U2)*W2 V2(U1|U2)*W1 最后，X到Y的弧上标记的正规式即为所构造的正