判断题 一个语言的文法是不唯一的。

判断题 一个语言的句子是有穷的。

判断题 每个非终结符产生的终结符号串都是该语言的子集。