2.9.3 非生成性规则和非终结符

假设X有其唯一规则X → aX并且假设从起始符号可以到达X。那现在X依然不会对其语言语法中的句子做出贡献，因为一旦引入的X就没有办法摆脱它了：X是一个非生成性的非终结符。此外，任何规则其右侧含有X的都是非生成性的。简单说，任何本身不产生非空子语言的规则是非生成性的。如果一个非终结符的所有规则都是非生成性的，那这个非终结符就是非生成性的。

一个极端的例子就是一个语法中的所有非终结符都是非生成性的。这种情况发生在一个语法的所有右侧都包含至少一个非终结符。然后就没有办法能摆脱非终结符，那这个语法就是非生成性的。

这三种情况合起来就被成为无用的非终结符。