任何算符优先文法的句型中一定会有两个相邻的非终结符号。