自下而上的分析是一种归约的算法,其基本思想是:用一个寄存符号的先进后出栈,把输入符号一个一个地移进到栈里,当栈顶形成某个产生式的候选式时,即把栈顶的这一部分替换成(归约为)该产生式的左部符号。自下而上分析过程:边输入单词符号,边归约。其核心问题是识别可归约串。
规范规约的几个基本概念:
1.
短语:
令G是一个文法,S是文法的开始符号,假定abd是文法G的一个句型
其中α,β,d∈(VN∪VT)*,A∈VN ,如果有
则贝塔称是句型相对于非终结符A的短语。
2.直接短语
特别是,如果有