\[ 文法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为标识符或开始符，它是一个非终结符，至少要在一条规则中作为左部出现。 \]
原文：https://www.cnblogs.com/Roni-i/p/11025402.html