文法四元组的英文全称

    一个文法G是一个四元组 （V，T，P，S）

其中：

（1）V是变元的有限集， 英文全称是：variable。

（2）T：是 终结符的有限集 ，英文全称是：terminal symbol。

（3）P：是 产生式的有限集，其中每个产生式都是α→β的形式，其中α∈(V∪T) + ，且其中至少有一个V中的符号，β∈(V∪T)*。 英文全称是：production。

（4） S∈V，称为文法G的 开始符号。(S很重要，决定这组规则最终要定义什么)， 英文全称是：starting symbol。