试证明:算符优先文法的每一句型或是一个单个非终结符号，或含有一个素短语。
证:设不能含有素短语，则只能是含有短语（不能含有终结符号），则该短语只能含有一个非终结符号，否则不符合算符文法定义，得证。
举一反三
- 设G为算符优先文法，u是G的某一句型的短语，再设u中含有终结符号b1, b2,…, bn (n≥1)，且满足biO= bi+1 (1≤i≤n-1)，试证明，u是该句型的一个素短语。
- 任何算符优先文法的句型中不会有两个相邻的非终结符号。()
- 如果一个文法的任何产生式的右部都不含有两个相继（并列）的非终结符，则该文法是算符优先文法。
- 中国大学MOOC: 如果一个文法的任何产生式的右部都不含有两个相继（并列）的非终结符，则该文法是算符优先文法。
- 在自底向上的分析中，用来归约句型句柄的产生式称为句柄产生式。试 证明：一个文法是无二义性的，当且仅当此文法的每一句型至多只有一个句 柄和一个句柄产生式。
内容
- 0
一个上下文无关文法 G 包括四个组成部分，它们是：一组非终结符号，一 组终结符号，一个开始符号，以及一组（ ）
- 1
设G[S]是一个文法，把由文法的( )推导出的符号串称为G的一个句型 A: 终结符 B: 非终结符 C: 开始符 D: 产生式
- 2
设有一文法G,如果文法G中没有形如A->...BC...的规则,其中A,B,C为非终结符,则称文法G为()。 A: 算法优先文法 B: LL(1)文法 C: LR(0)文法 D: 算符文法
- 3
一个上下文无关文法包括四个组成部分,一组非终结符，一组终结符，一个开始符，以及一组（） A: 句型 B: 符号串 C: 产生式 D: 句子
- 4
一个句型中的()称为该句型的句柄。 A: 最左直接短语 B: 最右直接短语 C: 终结符 D: 非终结符