编译原理（一）

文法：

[文法G定义为四元组 (V_n, V_t,P,S)。 V_n为非终结符（或语法实体，或变量）集；V_T为终结符集。 ]

[P为规则（alpha ightarrow eta）的集合，alpha in (V_n cup V_t)^* 且至少包含一个非终结符，eta in (V_n cup V_t)^* ]

[V_n，V_t和P是非空有穷集。S为标识符或开始符，它是一个非终结符，至少要在一条规则中作为左部出现。 ]

---