编译原理第四章.ppt

北京交通大学于双元 第四章 语法分析 语法分析的方法 4.1 自顶向下分析法 --最左推导过程 二、问题解决方法 (1)直接左递归的消除： 用扩充的BNF表示{ },[ ], 引入新的非终结符号（提取公因子） (2) 间接左递归的消除 消除左递归的算法（直接和间接均消除） （1）直接左递归的消除 例：U→Uα|β 例1：T→T*F|T/F|F 变成：T→T(*F|/F) |F 消除左递归后得：T→F{*F|/F} 或： T’→(*F|/F)T’|ε T→FT’ 即: T→FT’ T’→*FT’|/FT’|ε (2)间接左递归的消除 ——消除左递归的算法(直接和间接均消除） 要求：文法不含A → A和A→ε 原理：S→Aβ| γ A→Sα 转换成 S→Sαβ| γ 间接左递归替换成直接左递归再消除 消除左递归的算法 ①把G的非终结符号排序A1 ,A2,…, An; ② for (i=1;i=n;i++) { for (j=1;j=i-1;j++) { 把每个形如Ai → Ajγ的规则替换成 Ai→δ1γ|δ2γ|…|δmγ, 其中 Aj →δ1|δ2|…|δm是当前Aj的全部规则; } 消除Ai规则中的直接递归 ; } ③化简由②得的文法,即去掉多余规则; 例：G[S]: S→Qc|c Q→Rb|b R→Sa|a ③ i=3，Ai=A3=S j=1,Aj=A1=R 无S→Rc规则 j=2,Aj=A2=Q 含S→Qc规则 S→Sabc|abc|bc G[S]中:S→Sabc|abc|bc|c 原规则中的 消除直接递归:S→(abc|bc|c){abc} G[S]:S→(abc|bc|c){abc} Q→Sab|ab|b 多余 R→Sa|a 多余 G[S]:S→abcS’|bcS’|cS’ S’ →abcS’| ε 或 S→S’{abc} S’→abc|bc|c 说明:非终结符号的排序不同，所得文法形式就不同，但语言等价。 消除左递归的矩阵表示方法 设VN中有n个非终结符号X1,X2,…,Xn 将Xi→γ1|γ2|...|γm表示成 Xi =γ1+γ2+...+γm 将γi分成两类 首符号∈VN 首符号∈VT Xi=X1α1i+X2α2i+...+Xnαni+βi αji可能为? βi是以终结符号开头的候选式的“和” 求解Xi (X1,X2,...,Xn)= （X1,X2,...,Xn) . α11 α12 ... α1n α21 α22 ... α2n : : αn1 αn2 ... αnn +(β1,,β2, ... βn) ? 表示:X=XA+B其解为X=BA* 解出A*很复杂，但我们的目的只是消除左递归，可绕开该问题。 举 例 上例:S=Qc+c Q=Rb+b R=Sa+a 矩阵展开 等价文法 Z11 → aZ31|ε Z21 → cZ11 Z31 → bZ21 Z12 → aZ32 Z22 →cZ12 |ε Z32 → bZ22 Z13 → aZ33 Z23→cZ13