在自底向上的分析中，用来归约句型句柄的产生式称为句柄产生式。试 证明：一个文法是无二义性的，当且仅当此文法的每一句型至多只有一个句 柄和一个句柄产生式。
证明: 充分性：当前文法下的每一符号串仅有一个句柄和一个句柄产生式T对当前符号 串有唯一的最左归约T对每一步推导都有唯一的最右推导T有唯一的语法树。必要性：有唯一的语法树T对每一步推导都有唯一的最右推导T对当前符号串有 唯一的最左归约T当前文法下的每一符号串仅有一个句柄和一个句柄产生式
举一反三
内容
- 0
如果在进行归约时，文法的某些规范句型的句柄不唯一，则称该文法是二义性文法。 A: 正确 B: 错误
- 1
一个句型中的最左（）称为该句型的句柄
- 2
一个句型中称为句柄的是该句型的最左
- 3
由文法的开始符号出发经过若干步(包括0步)推导产生的文法符号序列称为() A: 语言 B: 句型 C: 句子 D: 句柄
- 4
由文法的开始符号经0步或多步推导产生的文法符号序列是( ) A: 短语 B: 句柄 C: 句型 D: 句子