第一章 第2节 文法的定义

G = (Vt,Vn,P,S)

Vt ：终结符集合
Vn:  非终结符集合
P:    产生式集合 
S:    开始符号 

例子：

G = ({id,+,*,(,)}, {E},P,E)
p = {E -> E + E ,
        E -> E * E ,
        E ->(E),
        E -> id} 

产生式的简写

对一组有相同左部的a产生式
a -> B1,a -> B2,...,a -> Bn

可以简记为：
a -> B1|B2|...|Bn

B1,B2 ,... ,Bn 称为a的候选式