编译原理张淑艳 compiler-principle04.pptVIP

4.4.3 LL(1)分析条件 不带回溯的上下文无关文法的条件 文法不含左递归 对文法中每个非终结符A的各产生式的候选集两两不相交。即： 若A?α1|α2|…|αn，则 FIRST(αi)∩FIRST(αj)= ? 对文法中的每个非终结符A，若它存在某个候选首符集包含ε，则 FIRST(A)∩FOLLOW(A)=? 满足以上条件的文法称为LL(1)文法 4.4.3 LL(1)分析条件 对LL(1)文法如何进行无回溯的自上而下分析？ 若当前输入符号为a,需用非终结符A匹配 A?α1|α2|…|αn (1) 若a∈FIRST(αi)，则指派αi去匹配 (2) 若a不属于任何一个候选首符集，则 若ε∈FIRST(A)，且a∈FOLLOW(A)，则让ε去匹配 否则， a的出现是语法错误 练习 1.为下面文法消除左递归 S?a|∧|(T) T?T,S|S 2.写出下面文法中所有非终结符的first集和follow集，并证明这个文法是LL(1)的。 E ? TE’ E’? +E |ε T ? FT’ T’ ? T |ε F ? PF’ F’ ?*F’ |ε P ? (E) | a | b |∧ * * * * * * * 在FRIST(T?)中，+, )和$在FOLLOW (T?) 中。 * * 郑州大学 程序设计语言编译原理 张 淑 艳 zhang_shu_yan@163.com 温故知新 源程序字符流 词法分析 单词符号 非形式化描述 形式化描述 正规式 字符 组合 串 语言 集合 集合 字母表 名字 连接 指数 连接 UV 闭包 U* 正闭包 U+ 计算机实现 状态转换图 不确定有限自动机 确定有限自动机 等价 子集构造法 最简确定有限自动机 状态列举法 合并不可区别状态 手工实现 自动实现 Lex 正规式语法结构 正规文法 第四章 语法分析 自上而下分析 4.1 语法分析器的功能 4.2 自上而下分析面临的问题 4.3 LL(1)分析法 4.4 递归下降分析程序构造 4.5 预测分析程序 4.6 LL(1)分析中的错误处理 4.1 语法分析器的功能 词 法 分析器 单词符号 取下一个单词符号 源程序 语法分析树 编译程序后续部分 语法分析器 符号表 语言的语法结构用上下文无关文法描述 语法分析器是按文法的产生式，识别输入的符号串是否为一个句子。 什么样的符号（终结）串是文法的句子？看是否可以从文法开始符号推导出该串，或根据该文法可以建立一棵与该串匹配的语法分析树。 4.1 语法分析器的功能 按语法树的构造方法，语法分析方法有两种： 自上而下分析法（本章） 自下而上分析法（下章） 4.2 自上而下分析面临的问题 自上而下分析的主旨：对一个输入串，从文法的开始符号（根结点）出发，采用一切可能的办法，从上（根结点）而下的为输入串建立一棵语法树。 本质上：试探性的过程 自上而下分析分为两种 带回溯的 (4.2) 不带回溯的 (4.3) 举例分析带回溯的 4.2 自上而下分析面临的问题 例 G: S? xAy A? ** | * 构造输入串x*y (1) S(根) x A y x * y IP (2) S(根) x * y IP IP * * x A y (3) S(根) 回溯 x * y IP IP * x A y (4) S(根) x * y IP IP 怎么办？ * * 成功！ 4.2 自上而下分析面临的问题 带回溯的自上而下分析方法的困难和缺点： (1) 左递归（P?Pα），使分析无限循环, 必须消除 例： E ? E + T, 则可能的分析步骤有 (2) 回溯，浪费分析时间，必须消除 (3) 虚假匹配，如上个例子，较难消除 (4) 不成功时难于知道出错位置 (5) 试探性强，效率低，代价高 + E + T E E E + T E E + T * * x A y S(根) x * y 4.3 LL(1)分析法 本节，我们讨论： 如何消除左递归 如何克服回溯 并研究递归子程序分析算法及其变种 4.3.1 左递归的消除 对于产生式 P? Pα|β (串的特点 βα. . .α) α不为ε，β不以P开头，则可改写规则为： S?bS’ S’ ?aS’| ε P ?βP’ P’?αP’|ε 例：S