第五章:语法分析-自下而上分析
首先知道 归约–是指根据文法的产生式规则,把产生式的右部替换成左部符号。
第一种规约的方式是 移进规约,即用一个寄存符号的栈,把输入符号一个一个地移进到栈里,当栈顶形成某个产生式的候选式时,即把栈顶的这一部分替换成(归约为)该产生式的左部符号。这里的问题是怎样识别可规约串
第二种是规范规约,首先定义的几个概念:
短语 定义:令G是一个文法,S是文法的开始符号,假定abc是文法G的一个句型
其中α,b,∈(VN∪VT)*,A∈VN ,如果有 “S*A 且A+ ”
则称b是abc句型相对于非终结符A的短语
注意:
因为句型是由开始符号推出来的,而短语是由非终结符号推出来的。所以,短语是句型的一部份或全部符号串。
直接短语 如果有A-》b,则称b是句型abc相对于规则A-》b 的直接短语。
句柄 一个句型的最左直接短语称为该句型的句柄。
通过下面的一个例子可以理解:
然后在使用栈进行规约的过程中有两点&#x