产生式集合的元素是什么

一个文法G是下述元素构成的一个四元组（N, Σ,P,S）： “非终结符号”集合N。

“终结符号”集合Σ，Σ与N无交。

取如下形式的一组“产生式规则”P， (Σ ∪N)*中的字符串→ (Σ ∪N)* 中的字符串，并且产生式左侧的字符串中必须至少包括一个非终结符号。