试证明:算符优先文法的每一句型或是一个单个非终结符号，或含有一个素短语。
举一反三
- 设G为算符优先文法，u是G的某一句型的短语，再设u中含有终结符号b1, b2,…, bn (n≥1)，且满足biO= bi+1 (1≤i≤n-1)，试证明，u是该句型的一个素短语。
- 任何算符优先文法的句型中不会有两个相邻的非终结符号。()
- 如果一个文法的任何产生式的右部都不含有两个相继（并列）的非终结符，则该文法是算符优先文法。
- 中国大学MOOC: 如果一个文法的任何产生式的右部都不含有两个相继（并列）的非终结符，则该文法是算符优先文法。
- 在自底向上的分析中，用来归约句型句柄的产生式称为句柄产生式。试 证明：一个文法是无二义性的，当且仅当此文法的每一句型至多只有一个句 柄和一个句柄产生式。