文法：

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

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

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