●定义:假定α是文法G的一个句子,我们称序列 a 0 是一个规范归约,如果此序列满足: On- a 2a为文法的开始符号,即a=S 3对任何i,0≤isn,a;-1是从a1经把句 柄替换成为相应产生式左部符号而得到的。定义：假定是文法G的一个句子，我们称序列 n， n-1， ，0 是一个规范归约，如果此序列满足： 1 n=  2 0为文法的开始符号，即0=S 3 对任何i，0  i  n， i-1是从i经把句 柄替换成为相应产生式左部符号而得到的