一个上下文无关文法G包括四个组成部分：一组终结符，一组非终结符，一个（ ），以及一组规则。

A. 字符串
B. 产生式
C. 开始符号
D. 文法

一个文法所描述的语言是（ ）。

A. 唯一的
B. 不唯一
C. 可能唯一
D. 可能不唯一

描述一个语言的文法是（ ）。

A. 唯一的
B. 不唯一的
C. 可能唯一
D. 可能不唯一

如果文法G是无二义的，则它的任何句子α（ ）。

A. 最左推导和最右推导对应的语法树必定相同
B. 最左推导和最右推导对应的语法树可能不同
C. 最左推导和最右推导必定相同
D. 可能存在两个不同的最左推导但是他们对应的语法树相同。

文法G包括四个组成部分：一组终结符号，一组非终结符号，一组（），以及一个开始符号。

文法按产生式的形式分为四种类型，它们是：0型文法，又称短语文法；1型文法，又称上下文有关文法；2型文法，又称（）；3型文法，又称（）。

最右推导称为（），由规范推导产生的句型称为规范句型。

设G是一个文法，S是它的开始符号，如果 S=>*α，则称α是一个（）。仅由终结符号组成的句型是一个（）。

对于一个文法G而言，如果L(G)中存在某个句子对应两棵不同（），那么该文法就称为是二义的。

课本P166的第五题答案是（）、（）、（）和（）