编译原理课程设计之第四章 自上而下的语法分析.pptVIP

* 5 $ list identifier x,y,z$ 匹配 6 $ list ,y,z$ r5 $var-list, ,y,z$ 7 匹配 $var-list 8 r4 y,z$ … … … 步骤 分析栈 输入 动作 $ 成功 $ * 4.2 LL( 1 )分析 4.2.1 LL(1)分析的基本方法 4.2.2 LL(1)分析与算法 4.2.3 消除左递归和提取 * Input $ 总控程序 LL(1)预测分析表 stack $ * 4.2.2 LL(1)分析与算法 基于表的LL(1)分析算法流程： * 4.2 LL( 1 )分析 4.2.1 LL(1)分析的基本方法 4.2.2 LL(1)分析与算法 4.2.3 消除左递归和提取 * 由于含有左递归和左公共因子的文法不是LL(1)文法，如果要使用LL(1)语法分析算法对该文法定义的语言进行语法分析，那么必须通过消除左递归和提取左公共因子，将文法进行等价改造 * 4.2.3 消除左递归和提取左因子 简单直接左递归的消除 A?Aα A?β 简单直接左递归的文法是否是LL(1)文法？ 如果文法G相关的LL(1)分析表的每个项目中至多只有一个产生式，则该文法就是LL(1)文法。 * 消除直接左递归后将上述文法重写为： A?βA’ A’?αA’|ε A?Aα|β * 例：消除下面文法的左递归规则： exp ? exp addop term|term exp ? term exp’ 消除左递归后将上述文法重写为： exp’ ? addop term exp’|ε * 多项直接左递归的消除 A?Aα1|Aα2|…| Aαn|β1|β2 | … |βm 消除左递归后将上述文法重写为： A? β1A’|β2A’|…|βmA’ A’?α1A’|α2A’|…|αnA’|ε * 例：消除下面文法的左递归规则： exp ? exp+term| exp-term| term exp ? term exp’ 消除左递归后将上述文法重写为： exp’ ? +term exp’| -term exp’| ε * 提取左因子： 若文法G有产生式U?xy |xw |…| xz则该文法是否是LL(1)文法？ * 若在y,w,…,z中仍然有左公共因子，可以再次提取。注意，若有：U?xy|x 则提取后：U?x(y|?) 若有产生式U?xy|xw|…|xz ，则提取左公共因子并用EBNF表示为： U?x(y|w|…|z) 再引入另一个非终结符号V，将产生式变为：U?xVV? y|w|…|z * 设有产生式： S→if B then S1 else S2 |if B then S1 其中，S表示两种类型的条件语句。 引入非终结符号R： S→if B then S1 R  R→else S2 |ε 提取公因子，改成： S→if B then S1(else S2|?) * 本章小结 本章学习了两类自上而下的语法分析算法： 递归下降分析方法 手写语法分析程序比较适合 LL(1)分析方法 实际中不常用到 算法思想 * 考虑文法G[S]: S- A︱B A-b|c B-(C) C-CS|S 消除上述文法的左递归，重写该文法。 求消除左递归后的文法的非终结符构造First集合和Follow集合。 为消除左递归后的文法构造LL(1)分析表。 并写出对句子 (bc) 的LL(1)分析过程。 作业 * 4.2.1 LL(1)分析的基本方法 LL (1)分析方法是一种自上而下的语法分析方法：第1个“L”指的是由左向右地处理输入。第2个“L”指的是它为输入串找出一个最左推导。括号中的数字1意味着它仅使用输入串中的一个符号来预测分析的方向。 * 例如：假设有生成成对括号的串的简单文法： S?(S)S|ε 判断输入串( )是否是符合该文法规则的句子？ LL (1)分析方法如下： 输入串( )的自上而下分析程序的分析动作： * S?(S)S ?(ε)S ?(ε)ε ( )的最左推导 S （ ） S S ε ε 构造最左推导要解决的问题： 每一步推导是针对当前句型中的哪一个非终结符进行推导？ 用该非终结符的哪一个产生式进行推导(选择产生式)？ * LL (1)分析方法如下： 通过栈来‘记忆‘针对当前句型中的哪一个非终结符进行推导,首先将文法的开始符号S入栈； 如果栈的顶部是终结符a,则将其与当前输入记号匹配(出栈)。 如果栈的顶部是非终结符A,则利用A对应的某个文法规则A?α将栈顶部的非终结符A(出栈)替换成串α(将串α自右至左入栈)。 * 构造一个终结符和非终结符索引的二维表格M[N,T]可以表达出用哪一个产生式进行进