2.9.1 未定义的非终结符

一些规则的右侧可能包含一个非终结符,其没有对应的生成规则。这样的规则永远也不会出现问题,并且可以被从语法中移除。如果我们这样做,我们可能就移除了另一个非终结符的最后一个定义,而这个非终结符会反过来又变成未定义的,等等。

我们会进一步看到(例如4.1.3节),认可未定义非终结符偶尔也是有意义的。在它们右侧的解释它们的规则,又是可以删除的。