第6章 上下文无关语言 计算机专业 形式语言课件.ppt

* * 6.4 格雷巴赫范式 (2)根据引理6-1和6-2，将产生式变成如下形式的产生式 Ai?Ajα i≤j+1 Ai?aα Bi?α 其中，V2=V1∪{ B1，B2，…，Bn}， V1∩{ B1，B2，…，Bn}=Φ。 “B类变量”：{ B1，B2，…，Bn}是在文法的改造过程中引入的新变量。 V1中的变量称为“A类变量”。 * * 6.4 格雷巴赫范式 （3）根据引理6-1，从编号较大的变量开始，逐步替换，使所有产生式满足GNF的要求： 1)??????? for k=m-1 to 1 do 2)??????? if Ak?Ak+1β∈P2 then 3)??????? for 所有的Ak+1产生式Ak+1?γ do 将产生式Ak?γβ放入P3； 4)??????? for k= 1 to n do 5)??????根据引理6-1，用P3中的产生式将所有的Bk产生式替换成满足GNF要求的形式。 * * 6.5 自嵌套文法 自嵌套文法(self-embedding grammar) CFG G=(V，T，P，S)是化简后的文法，如果G中存在有形如A?+αAβ的派生，则称G为自嵌套文法，其中α、β∈(V∪T)+。 自嵌套的文法描述的语言可以是正则语言 例如： S?0S0|1S1|0S1|1S0|0S|1S|0|1 * * 6.5 自嵌套文法 定理 6-11 非自嵌套的文法产生的语言是正则语言。 证明要点： （1）将G化成GNF （2）取RG G′=(V′,T,P′,[S])，其中 V′={[α]| α∈V+并且|α|≤m(n-2)+1} P′={[Aα] ?a[βα]|A?aβ∈P并且β∈V*} 当α=ε时，[α]=ε。 * * 6.6 小结 本章讨论了CFG的派生树，A子树，最左派生与最右派生，派生与派生树的关系，二义性文法与固有二义性语言，句子的自顶向下分析和自底向上分析；无用符号的消去算法，空产生式的消除，单一产生式的消除。CFG的CNF和GNF；CFG的自嵌套特性。 (1)S?*α的充分必要条件为G有一棵结果为α的派生树。 (2)如果α是CFG G的一个句型，则G中存在α的最左派生和最右派生。 * * 6.6 小结 (3)文法可能是二义性的，但语言只可能是固有二义性的，且这种语言是存在的。 (4)对于任意CFG G，ε?L(G)，存在等价的CFG G1，G1不含无用符号、ε-产生式和单一产生式。 (5)对于任意CFG G，ε?L(G)，存在等价的 CNF G2。 (6)对于任意CFG G，ε?L(G)，存在等价的GNF G3。 (7)非自嵌套的文法产生的语言是正则语言。 * * 6.2.2 去ε-产生式 设n≤k时结论成立(k≥1)，当m=k+1时 A?*G′ XiXj…Xk ?*G′ wiXj…Xk ?*G′ wiwj…Xk … ?*G′ wiwj…wk=w 其中Xi?*G′ wi，Xj?*G′ wj，…，Xk?*G′ wk 。 * * 6.2.2 去ε-产生式 表明A? XiXj…Xk∈P′。按照G′的构造方法，必定存在A? X1X2…Xm∈P′，而且 {Xi，Xj，…，Xk}?{X1，X2，…，Xm} {X1，X2，…，Xm}-{Xi，Xj，…，Xk}?U 从而， A?G X1X2…Xm ?*G XiXj…Xk * * 6.2.2 去ε-产生式 再根据Xi?*G′ wi，Xj?*G′ wj，…，Xk?*G′ wk和归纳假设，有 Xi?*G wi，Xj?*G wj，…，Xk?*G wk。 这表明，如下派生成立： A?G X1X2…Xm ?*G XiXj…Xk ?*G wiXj…Xk ?*G wiwj…Xk … ?*G wiwj…wk=w * * 6.2.2 去ε-产生式 表明结论对m=k+1成立。由归纳法原理，结论对任意m成立。 注意到A 的任意性，当S=A时结论成立。即： S?*G w 的充分必要条件是S?*G′ w 亦即：L(G′)=L(G)-{ε}。 定理得证。 * * 6.2.3 去单一产生式 文法Gexp1：E?E+T|E-T|T T?T*F|T/F|F F?F↑P|P P?(E)|N(L)|id N?sin|cos|exp|abs|log|int L?L,E|E 存在派生： E?T?F?P?id * * 6.2.3 去单一产生式 Gexp3：E?E+T|E-T|T*F|T/F|F↑P|(E)|