编译原理课程总结——第五章

一、移进归约：

1.基本思想：

用一个寄存符号的先进后出栈，把输入符号一个一个地移进到栈里，当栈顶形成某个产生式的候选式时，即把栈顶的这一部分替

换成(归约为)该产生式的左部符号。

2.归约：

 是指根据文法的产生式规则，把产生式的右部替换成左部符号。

二、规范归约：

1.短语
定义:令G是一个文法，S是文法的开始符号，假定αβ&是文法G的一个句型

其中α,β,&∈(VN∪VT)*，A∈VN ，如果有且

则β称是句型α,β,&相对于非终结符A的短语。

2.直接短语
特别是，如果有A=>β,则称,β是句型αβ&相对于规则A->β的直接短语。

3.句柄一个句型的最左直接短语称为该句型的句柄。

4.规范归约
定义：假定是文法G的一个句子，我们称序列
       αn， αn-1，α，α0