pop Bi是将之前识别到的长串弹出。
先解析出右部的E1,E2,然后规约出E。
a1,a2,a3对应着语义动作
语法制导翻译原理 :
当是移进状态时,将栈顶元素弹掉,将其规约出的符号状态,如E入栈.
栈中记录了所有的状态,需要注意,将<7,7,1>弹出后,将<E,7,2>压入 ,7变为E,1变为2。
<8,8,1>规约为E,而下一条为<+,+,3>因此下一个状态是从3接受E跳转到4,因此是<E,8,4>.
最终是右部先压栈。
计算出15后,规约为状态E,从0号状态跳转到状态2。
抽象语法树:
尽量的压缩信息,减小规模。
给出一种抽象文法,根据抽象文法定义一种数据结构,该数据结构可以用于编码具体的程序。
早期的编译器再进行语法制导翻译时,再插入动作信息时,顺便生成代码。
现在多产生抽象语法树,作为前端后端的接口。
enum kind kind 表示类型;
之后的终结符和非终结符表示该行能推出的表达式。注意是指针。
手工构造如下图所示,实际上就是从叶子节点自底向上。
指针所指空间的第一个域就说明了该节点的类型。
抽象语法树的自动生成:
增加了文件,from to的信息,用于表示代码在文件中的位置。