Ch4语法分析自上而下分析(阅读).pptVIP

Ch4.语法分析---自上而下分析 第四章 语法分析--- 自上而下分析 本章在编译程序中的地位 回顾：语法分析 任务：在词法分析的基础上，根据语言的语法规则，把单词符号串分解成各类语法单位，如“短语”、“句子”、 “子句”、“程序段”等，为语法正确的输入构造语法树(或分析树)。 语法分析依据的是语言的语法规则，即描述程序结构的规则，通过语法分析确定整个输入串是否构成一个语法上正确的程序。 语法规则通常用上下文无关文法描述。 语法分析方法有自上而下和自下而上两类。 本章和下一章将介绍编译程序构造中的一些典型的语法分析方法。 典型的语法分析方法 自上而下语法分析方法 第四章介绍 递归子程序法 预测分析法，即LL(1)法 自下而上语法分析方法 第五章介绍 算符优先分析法 规范归约法 LR方法：LR(0)、SLR(1)、LR(1)、LALR(1) CH.4 语法分析---自上而下分析 掌握：消除文法左递归，消除回溯，计算FIRST集、FOLLOW集，LL(1)分析条件， LL(1)文法的概念，预测分析表的构造。 了解理解：自上而下分析方法的基本思想, 自上而下分析的过程。 教学内容： 4.1 语法分析器的功能 4.2 自上而下分析面临的问题 4.3 LL(1)分析法 4.4 递归下降分析程序的构造 4.5 预测分析程序 *4.6 LL(1)分析中的错误处理 4.1 语法分析器的功能 语法分析是编译程序的核心部分。 它的任务是在词法分析识别出单词符号串的基础上，分析并判定一串单词符号的语法结构是否符合语法规则, 是否文法的一个句子。 分析判定的方法： 建立输入串αn的从文法开始符号S出发的推导 S?α1?…?αn 即建立以S为根的与输入串αn相匹配的语法树 图4.1表明语法分析器在编译程序中的地位 4.2 自上而下分析面临的问题 本节主要是通过例子 1.说明自上而下分析方法的思想和步骤 2.认识自上而下分析时所遇到的主要困难 自上而下分析的主要困难是: 文法的左递归性，使分析陷入无限循环 回溯的不确定性，要求将已经完成工作推倒重来 为解决这些问题，考虑要消除文法左递归和避免回溯。 自上而下分析方法的思想 从文法的开始符号出发，向下推导，试图推出句子，匹配输入符号串，寻找输入串的最左推导，并按与最左推导相对应的顺序，自上而下从左到右地建立输入串的语法分析树。 推导过程中，试图根据当前的输入符号判断使用非终结符的哪个候选式去替换。 分析过程是一种穷尽一切可能的试探过程；是反复使用不同产生式谋求匹配输入串的过程。 用例子说明，P67.例4.1 自上而下分析(1) 例4.1 文法：⑴ S→xAy ⑵ A→** ⑶ A→* 输入串 α=x*y，分析α是否文法的句子？ 自上而下分析(2) 自上而下分析(3) 自上而下分析：说明 注: 自上而下分析过程是带回溯的试探过程 ⑴ 遇非终结符标记的结, 就试图用某个候选式展开, 期望此候选能匹配输入串, 若不能匹配, 则要回溯。 ⑵ 遇终结符号的结，就进行匹配，然后移动输入串指针ip指向下一个符号。 ⑶ 回溯是一项复杂而费时的工作，须废弃已做的许多工作，恢复到前面的某一情况，效率很低。 下面讨论自上而下分析法存在的困难和缺点 左递归、回溯、虚假匹配、当报告分析不成功时难于知道输入串中出错的确切位置，等 文法的左递归问题 文法的左递归性 直接左递归：文法存在产生式 P → Pα 间接左递归：存在推导 P ?+ Pα 文法具有左递归性，采用自上而下方法分析，可能会陷入无限循环，分析不下去。 候选式的确定与回溯问题 自上而下分析是一种反复用可能的候选式去进行试探的过程，不能预知本次试探是否会成功，若不成功则需要回溯。 例如文法： S→xAy A→**|* 判定句子x*y是否该文法定义的语言的句子。 希望：当要进行关于某个非终结符的推导时，能够根据当前输入符号确定候选式，避免回溯。 虚假匹配问题 虚假匹配：当一个非终结符用某一候选式匹配成功时，这种成功可能仅是暂时的、虚假的。 例如：文法 S → xAy A → **|* 识别输入串 α=x**y 是否为该文法的句子 自上而下的语法分析中，若在 S?xAy 后选择用 * 替换 A，则 S ? xAy ? x*y 。 α的第二个符号可以与叶结点*得以匹配，但第三个符号却不能与下一叶结点y匹配。 于是分析失败，意味着不能为串x**y 构造语法树，即 x**y 不是句子。错误的结论。 失败的原因在于错误的选择了A的产生式 --- 用最长匹配方法解决。 4.3 LL(1) 分析法 下面将集中讨论不带回溯的自上而下分析法 4.3