Every nonterminal symbol must appear on the left side of at least one rule.

• 每个未在声明段中定义的名字都被假设为非终结符。