算符优先文法中任何两个相邻的终结符号之间至少满足三种关系( ，=?)之一。