编译原理第4章语法分析自上而下.ppt

Select(C?b)= first (C) ={b } Select(D?aS)= first (aS) ={ a } Select(D?c)= first (c) ={c} 5、LL(1)文法的定义：(自顶向下分析技术) 一个上下文无关文法是LL(1)文法的充分必要条件是对每个非终结符A的两个不同产生式：A??，A?β满足Select(A??)∩Select(A?β)=?，其中?、β不同时推出? 所以上述文法select的交集为： Select(S?AB) ∩Select (S?bC)= {b} ≠ ? Select(A?ε) ∩ Select (A?b)= ? Select(B?ε) ∩ Select (B?aD)=? Select(C?AD) ∩ Select (C?b)= {b} ?? Select(D?aS) ∩ Select (D?c)= ? ch4 语法分析 4.4 LL(1)分析法与LL(1)分析器 4.4.2 LL(1)分析器的构造 文法G(S)的分析表 a b e i t # S S→a S→iCtSS’ S’→ε S’ C C→b S’→ ε S’→eS 多重定义 ch4 语法分析 4.4 LL(1)分析法与LL(1)分析器 4.4.3 关于LL(1)文法 定义4.6 一部文法G，若它的LL(1)分析表Ｍ不含 多重定义入口，则称它是一个LL(1)文法。由 LL(1)文法产生的语言称为LL(1)语言。 L L (k) 在分析中最多向前看k个输入字符 分析模式：最左推导 扫描模式：自左向右 ch4 语法分析—— 自上而下分析法 语法分析的任务与语法分析的基本概念 。 语法分析的主要方法：自上而下和自下而上分 的概念、过程和依据。 自上而下分析的条件：G不含左递归、不含左 公因子。 递归下降分析器的构造原理与实现。 LL(K)及LL(1)分析的实现思想。 LL(1)分析、LL (1)文法与LL (1)分析器的构造。 LL (1)分析表的构造及LL (1)文法的判别。 本章提要 S ? AB | bC A ?ε | b B ?ε | aD C ?AD | b D ?aS | c 四、 非LL(1)文法到LL(1)文法的等价变换 若文法中含有直接或间接左递归，含有左公共因子，该文法肯定不是LL(1)文法，要进行变换。 ?1、 提取左公共因子 提取左因子是一种对产生适合预测分析的文法非常有用的文法变换。可以用来消除回溯。 若文法中含有形如A???|??的产生式，这导致了对相同左部的产生式其右部的First集相交,也就是Select(A???)∩Select(A???) ? ?，不满足LL(1)文法的充分必要条件. 则须进行提取左公共因子的等价变换: A ??(?|?) 写成一般形式： A??A’ A’ ??? ? 例1：若文法G1的产生式为： S?aSb S?aS S?ε 提取左公因子后得：S?aS( b |ε) S?ε 进一步变换：S?aSA A?b A?ε S?ε 例2：若文法G2的产生式： A?ad A?Bc B?aA B?bB 解： A ? ad A ? aAc A ? bBc B ? aA B ? bB A?a(d|Ac) A?aA’ A’ ?d A’ ?Ac A ?aA’ A ? bBc A’ ? d A’ ?Ac B ? aA B ? bB 最后变换为： 经过文法提取左公共因子后的文法不一定是LL(1)文法。 文法中不含左公共因子只是LL(1)文法的必要条件，而不是充分条件。 经过文法提取左公共因子后的文法，若有多余的产生式，则必须进行化简 。 不一定每个文法的左公共因子都能在有限的步骤内替换成无左公共因子的文法