编译原理蒋宗礼课件第4章.pptVIP

第4章? 自顶向下的语法分析 4.1 语法分析概述 4.2 自顶向下的语法分析面临的问题与文法的改造 4.3 预测分析法 4.4 递归下降分析法 4.5 本章小结 语法分析的功能和位置 语法分析(syntax analysis)是编译程序的核心部分，其任务是检查词法分析器输出的单词序列是否是源语言中的句子，亦即是否符合源语言的语法规则。 4.1 语法分析概述 4.2 自顶向下的语法分析面临的问题与文法的改造 自顶向下语法分析的基本思想 从文法的开始符号出发，寻求所给的输入符号串的一个最左推导。 从树根S开始，构造所给输入符号串的语法树 例:设有G：S→xAy A→**|*，输入串：x**y 4.2.1 自顶向下分析面临的问题 1.二义性问题 对于文法G，如果L(G)中存在一个具有两棵或两棵以上分析树的句子，则称G是二义性的。也可以等价地说：如果L(G)中存在一个具有两个或两个以上最左(或最右)推导的句子，则G是二义性文法。 如果一个文法G是二义性的，假设w?L(G)且w存在两个最左推导，则在对w进行自顶向下的语法分析时，语法分析程序将无法确定采用w的哪个最左推导。 Gexp： E?E+T | E-T| T T?T*F | T/F | F F?F↑P | P P?c | id | (E) 解决办法：改造文法，引入新的文法变量 4.2.1 自顶向下分析面临的问题 2.回溯问题 文法中每个语法变量A的产生式右部称为A的候选式，如果A有多个候选式存在公共前缀，则自顶向下的语法分析程序将无法根据当前输入符号准确地选择用于推导的产生式，只能试探。当试探不成功时就需要退回到上一步推导，看A是否还有其它的候选式，这就是回溯(backtracking)。 Ge：E?T E?E+T E?E-T T?F T?T*F T?T/F F?(E) F?id 例如：考虑为输入串id+id*id建立最左推导 4.2.1 自顶向下分析面临的问题 2.回溯问题 E?T (4.1) E?T?F (4.2) E?T?F?(E) (4.3) E?T?F?id (4.4) E?T?T*F (4.5) ............ 4.2.2节我们将采用提取左因子的方法来改造文法，以便减少推导过程中回溯现象的发生，当然，单纯通过提取左因子无法彻底避免回溯现象的发生。 4.2.1 自顶向下分析面临的问题 3.左递归引起的无穷推导问题 假设A是文法G的某个语法变量，如果存在推导A αAβ，则称文法G是递归的，当α=ε时称之为左递归；如果A αAβ至少需要两步推导，则称文法G是间接递归的，当α=ε时称之为间接左递归；如果文法G中存在形如A?αAβ的产生式，则称文法G是直接递归的，当α=ε时称之为直接左递归。 Ger：E?T E?E+T E?E-T T?F T?T*F T?T/F F?(E) F?id 考虑为输入串id+id*id建立一个最左推导 E?E+T?E+T+T?E+T+T+T?…… 4.2.2 对上下文无关文法的改造 1.消除二义性 改造的方法就是通过引入新的语法变量等，使文法含有更多的信息。其实，许多二义性文法是由于概念不清，即语法变量的定义不明确导致的，此时通过引入新的语法变量即可消除文法的二义性。 stmt→ if expr then stmt | if expr then stmt else stmt | other (4.7) 根据if语句中else与then配对情况将其分为配对的语句和不配对的语句两类。上述if语句的文法没有对这两个不同的概念加以区分，只是简单地将它们都定义为stmt，从而导致该文法是二义性的。 4.2.2 对上下文无关文法的改造 引入语法变量unmathched_stmt来表示不配 对语句，matched_stmt表示配对语句 stmt→ matched_stmt | unmathched_stmt matched_stmt→ if expr then matched_stmt el