编译原理课程总结--第五章：语法分析-自下而上分析

第五章：语法分析-自下而上分析

首先知道 归约–是指根据文法的产生式规则，把产生式的右部替换成左部符号。
第一种规约的方式是 移进规约，即用一个寄存符号的栈，把输入符号一个一个地移进到栈里，当栈顶形成某个产生式的候选式时，即把栈顶的这一部分替换成(归约为)该产生式的左部符号。这里的问题是怎样识别可规约串
第二种是规范规约，首先定义的几个概念：

短语 定义:令G是一个文法，S是文法的开始符号，假定abc是文法G的一个句型
其中α,b,∈(VN∪VT)*，A∈VN ，如果有 “S*A 且A+ ”
则称b是abc句型相对于非终结符A的短语
注意：
因为句型是由开始符号推出来的，而短语是由非终结符号推出来的。所以，短语是句型的一部份或全部符号串。
直接短语 如果有A-》b,则称b是句型abc相对于规则A-》b 的直接短语。
句柄 一个句型的最左直接短语称为该句型的句柄。
通过下面的一个例子可以理解：