编译技术编译原理 (22).pdf

《编译技术编译原理 (22).pdf》由会员分享，可在线阅读，更多相关《编译技术编译原理 (22).pdf（18页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、编译技术语 法 分 析用栈实现移进-归约分析分析器的四种动作：移进动作：把下一个输入符号压栈。归约动作：分析器知道整个句柄已经完全出现在栈顶，它确定句柄的左端在栈中的位置，再决定采用哪个非终结符来代替句柄（即确定使用哪个产生式）。接受动作：分析器宣告分析成功。报错动作：分析器发现了语法错误，调用错误恢复例程。自 下 而 上 分 析a+b$输入输入移进移进-归约分析归约分析程序程序分析表分析表M输出输出XYZ$栈栈分析表的作用是：确定分析的下一步动作是移进还是归约，如果是归约，那么应该使用哪个产生式进行归约分 析 的 方 法处理的对象：句子（由终结符组成的串）id1*id2+id3句子中符号的扫

2、描方句子中符号的扫描方向是从左到右向是从左到右 通过移进 归约分析器在分析输入串id1*id2+id3时动作序列来了解移进 归约分析的工作方式。用栈实现移进-归约分析分 析 的 方 法所有的步骤与动作id1id2id3*+$初始状态：栈里面只有一个初始状态：栈里面只有一个$动作：动作：移进移进一个终结符一个终结符E E+E|E*E|(E)|E|id栈栈句子句子分 析 的 方 法所有的步骤与动作E E+E|E*E|(E)|E|idid1id2id3*+$目前状态：栈里面已经识别的串是目前状态：栈里面已经识别的串是id1扫视一下表达式文法，看看有没有形成句柄扫视一下表达式文法，看看有没有形成句柄E

3、 idid是一个句柄是一个句柄动作：动作：利用利用E id进行进行归约归约分 析 的 方 法所有的步骤与动作E E+E|E*E|(E)|E|idEid2id3*+$目前状态：栈里面已经识别的串是目前状态：栈里面已经识别的串是E归约之后，归约之后，E不是句柄不是句柄动作：动作：移进移进下一个终结符下一个终结符*分 析 的 方 法所有的步骤与动作E E+E|E*E|(E)|E|idEid2id3*+$目前状态：栈里面已经识别的串是目前状态：栈里面已经识别的串是E*E*不是句柄不是句柄动作：动作：移进移进下一个终结符下一个终结符id2分 析 的 方 法所有的步骤与动作E E+E|E*E|(E)|E|

4、idEid2id3*+$目前状态：栈里面已经识别的串是目前状态：栈里面已经识别的串是E*id2有没有句柄出现？有没有句柄出现？动作：动作：利用产生式利用产生式E id进行进行归约归约id2是句柄是句柄分 析 的 方 法所有的步骤与动作E E+E|E*E|(E)|E|idEEid3*+$目前状态：栈里面已经识别的串是目前状态：栈里面已经识别的串是E*E有没有句柄出现？有没有句柄出现？动作：动作：移进移进终结符终结符+E*E是产生式是产生式E E*E的句柄，的句柄，但同时我们也可以选择继续移进但同时我们也可以选择继续移进当栈顶出现句柄的时候，当栈顶出现句柄的时候，可以选择归约动作，也可以可以选择归

5、约动作，也可以选择移进动作选择移进动作怎么选择？暂且留着疑问，怎么选择？暂且留着疑问，等后面将具体的分析技术时等后面将具体的分析技术时再讨论一下再讨论一下分 析 的 方 法所有的步骤与动作E E+E|E*E|(E)|E|idEEid3*+$目前状态：栈里面已经识别的串是目前状态：栈里面已经识别的串是E*E+有没有句柄出现？有没有句柄出现？动作：动作：移进移进终结符终结符id3没有！没有！分 析 的 方 法所有的步骤与动作E E+E|E*E|(E)|E|idEEid3*+$目前状态：栈里面已经识别的串是目前状态：栈里面已经识别的串是E*E+id3有没有句柄出现？有没有句柄出现？动作：动作：利用产

6、生式利用产生式E id进行进行归约归约有！有！分 析 的 方 法所有的步骤与动作E E+E|E*E|(E)|E|idEEE*+$目前状态：栈里面已经识别的串是目前状态：栈里面已经识别的串是E*E+E有没有句柄出现？有没有句柄出现？动作：动作：利用产生式利用产生式EE+E进行进行归约归约有！有！分 析 的 方 法所有的步骤与动作E E+E|E*E|(E)|E|idEE*$归约后状态：栈里面已经识别的串是归约后状态：栈里面已经识别的串是E*E有没有句柄出现？有没有句柄出现？动作：动作：利用产生式利用产生式EE*E进行进行归约归约有！有！分 析 的 方 法所有的步骤与动作E E+E|E*E|(E)|

7、E|idE$归约后状态：栈里面已经识别的串是归约后状态：栈里面已经识别的串是E串已经归约到开始符号串已经归约到开始符号E，并且，并且输入的终结符在这个过程中已经被消耗完毕输入的终结符在这个过程中已经被消耗完毕 确定右句型中将要归约的子串自 下 而 上 分 析使用移进-归约方式，即使知道了应该进行归约，也还有两个问题必须解决，他们是 如何确定选择哪一个产生式 移进-归约冲突自 下 而 上 分 析移进-归约分析的冲突归约乎？归约乎？移进乎？移进乎？如果移进如果移进 归约分析器处于格局归约分析器处于格局栈栈输入输入 if exprthen stmtelse$例stmt if exprthen stmt|if exprthen stmtelse stmt|other两难啊！两难啊！归约-归约冲突自 下 而 上 分 析stmt id(parameter_list)|expr:=exprparameter_list parameter_list,parameter|parameterparameter idexpr id(expr_list)|idexpr_list expr_list,expr|expr用用paramter id归约？归约？用用expr id归约？归约？不容易抉择呢！不容易抉择呢！由由A(I,J)开始的语句开始的语句栈栈输入输入 id(id,id)编译技术语 法 分 析