These new productions would better be called reductions, since they are used to reduce a sentence to the distinguished symbol of the grammar.

• 由于我们惯于使用这种新的产生式把句子归约成文法的识别符号，所以最好把这里所用的产生式称为归约式。