一个文法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。