【正确答案】文法是描述语言的语法结构的形式规则。
   一个文法G可以定义成元组(V_N,V_T，S，P)，其中：
   ·  V_N是一个有限集合，称为非终结符集，其中的每个元素称为非终结符；
   ·  V_T是一个有限集合，称为终结符集，其中的每个元素称为终结符；
   ·  S_∈V_N，是一个特殊的非终结符，称为文法起始符号；
   ·  P是一个有限的集合，其中每个元素是形如α→β的产生式规则，α，β都是由非终结符和终结符构成的符号串，包括空串，且α中至少含有一个非终结符。
   对文法的产生式规则施加不同的限制，就得到了不同类型的文法。
   O型文法对产生式规则没有任何限制，它称为短语文法。
   1型文法的产生式规则α→β必须满足|α|≤|β|，只有S→ε例外，其中|α|和|β|分别表示α和β的长度，ε表示空串。
   上下文无关文法的产生式规则具有A→β形式，其中A_∈V_N，β为由终结符和非终结符构成的符号串，包括空串。
   正则文法的产生式规则具有A→αB或者A→α的形式，其中A和B都是文法非终结符，α是由文法终结符构成的符号串。