编译原理与编译构造 二义文法的处理、语义

本文依旧来自记笔记相当勤快的七米八同学。向他表示真诚的感谢！

---

二义文法的处理

添加附加条件

在前面的内容中，我们已经知道，想要解决二义文法的问题，必须添加附加条件。

例： E→E+E|E∗E|(E)|i

注意一下下图中的I0 ，第一行式子是E′→E ，那个撇不一定能看得清

具体推导过程如图：

此时可以推得构造表，但是此时是会有冲突的。我们只能强行规定优先级，如，规定①∗⋖+ ，②+、∗ 都是右结合。

我们假设已经知道了r1=E→E∗E，S4=E→E∗E 。那么对于已有在符号栈中E∗E 规约出了S4 ，此时符号栈就变成了E∗E+E 。根据右结合性，先移进，后规约，因此state=7,ACTION=+ ，用S4而不是r1 （注意此处少掉了构造表，需要加一个构造表才能看懂这段）

例：

if(a < b)   if(b < c)    expr();  else    expr();

if(a < b)   if(b < c)    expr();else  expr();

对于上面的现象，我们称为else出现了悬空。这也是一种二义。

YACC

yet another compiler compiler

用户指定文法.y⇒YACC{分析表monitor

具体内容就跳过，我也不是很懂。

语法之间的关系

证明的话推荐大家看一篇文章：LL(1)、LR(1)、SLR(1)、LALR(1)判定方法

我证明没看懂啊。。

对于第四章，也就是二义文法的处理一章，会出2道题。

语法制导语义分析

边做语法分析（规约），边做语义分析

什么是语义

上下文无关文法+语义规则

此处语义是说“属性标注”，规则是说“属性值计算”

融合方法{语义规则分散在CFG之间，适合于自上而下 集中存放，都放在产生式之后，适合于自下而上 translate schemasyntax−directed definiation语法制导定义(SDD)

属性

例：E=E1+E2{E.val=E1.val+E2.val}

例：

int i, j;

属性{综合属性 继承属性 如E.val由E1.val和E2.val共同决定如int决定i，i决定j

只有综合属性构成的SDD就叫S-属性定义(S−attribute definition)

语义分析的输入和输出

式子α→语义分析加语义标注的语法分析树

两种方法，一种先构造生成树后加标记，自下而上，从左而右进行属性值计算。。一种语法分析和构造加语义标注的语法分析树同时进行。

例：

3∗5+4n

再例：

龙书题目5.2.4

具体解答见图：

编译原理课一定要认真听，不然真的进度太难补了，只能说多亏各路神仙扶一把。。。