标签：如果一个文法的任何产生式的右部都不含有两个相继（并列）的非终结符，则该文法是算符优先文法