【定义】
文法G定义为四元组（VN，VT，P，S）
其中VN ：非终结符号(即语法变量)集
VT ： 终结符号集
VN∩VT =Φ，令V= VN∪VT，V称为文法G的字母表或字汇表。
P ：产生式(α→β)集
S ：开始符号，且S∈VN ，S至少要在一条规则的左部出现。
【约定】
一般地，文法G的四元组不用全部给出，而只将产生式写出。
约定：
（1）第一条产生式的左部是开始符号
（2）用尖括号括起来的（或大写字母）是非终结符号
（3）不用尖括号括起来（或小写字母）是终结符号
（4）还有一种习惯写法，即G[S]，其中S是开始符号。
【举例】
例: G=（VN，VT，P，S）
其中 VN={S}，
VT ={0，1}，
P={S→0S1，S→01}
S是开始符号
