【正确答案】文法是用来描述语言规则的。它定义为一个四元组(V_N，V_T，S，P)，其中：VN是一个有限集合，叫非终结符集，其中的每个元素叫非终结符；V_T是一个有限集合，叫终结符集，其中的每个元素叫终结符；S∈V_N，是一个特殊的非终结符，叫文法起始符号；P是一个有限的集合，其中每个元素是形如α→β的产生式规则。
   算符优先文法，是指一个算符文法，如果对于任意的终结符对a，b，最多存在三种优先关系(即a＞b，a=b，a＜b)之一，则称该算符文法为算符优先文法。