[单选]  算符文法是指（）的文法。①没有形如U：：=...VW...的规则(U，V，W ∈VN)②终结符号集VT中任意两个符号对之间至多有一种优先关系成立③没有相同的规则右部④没有形如U：：= ε的规则。