1.移进规约:用一个寄存符号的先进后出栈,把输入符号一个一个地移进到栈里,当栈顶形成某个产生式的候选式时,即把栈顶的这一部分替换成(归约为)该产生式的左部符号。
2.规范规约:令G是一个文法,S是文法的开始符号,假定αβc是文法G的一个句型,其中α,β,c∈(VN∪VT)*,A∈VN ,如果有S=>αA且A=>β,则β称是句型αβa相对于非终结符A的短语。
移进规约分析法
1.移进规约:用一个寄存符号的先进后出栈,把输入符号一个一个地移进到栈里,当栈顶形成某个产生式的候选式时,即把栈顶的这一部分替换成(归约为)该产生式的左部符号。
2.规范规约:令G是一个文法,S是文法的开始符号,假定αβc是文法G的一个句型,其中α,β,c∈(VN∪VT)*,A∈VN ,如果有S=>αA且A=>β,则β称是句型αβa相对于非终结符A的短语。
移进和规约就是指移动改进和规则约定。