已知文法G[A]，它定义的语言描述为(39)。 G[A]：A→0B|1C B→1|1A|OBB C→O|OA|lCCA．G[A]定义的语言由0、1符号串组成，串中0和1的个数相同B．G[A]定义的语言由0、1符号串组成，串中0的个数是1的个数2倍C．G[A]定义的语言由0、1符号串组成，串中1的个数是0的个数2倍D．G[A]定义的语言由0、1符号串组成，或者串中1的个数是0的个数2倍，或者串中0的个数是1的个数2倍

正确答案:B

正确答案：B
解析：已知文法G=(VT，VN，S，P)，它所产生的语言定义如下：若有S(11)w，则称w是文法G的一个句型。仅含终结符的句型是一个句子。语言L(G)是由文法G产生的所有句子组成的集合：L(G)={w|Sw且w∈VT*}推导的定义如下：设文法G=(VT，VN，S，P)，A→β∈P，γ，δ∈V*，则稀γAδ直接推导出γβδ，表示成这个定义告诉我们，若知道γAδ∈V*，根据A→β∈，可求出γβδ∈V*，方法是用A→β的右部β替换γAδ中的A得到γβδ；相反，若知道γβδ∈V*，根据A→β∈P，可求出γAδ∈V*，方法是用A→p的左部A替换γβδ中的β得到γAδ。若存在一个推导序列：，则称从a0经n步推导出an，表示成根据文法G1的第1条规则S→dAB知道，文法G1产生的句子的第1个字符是d，后跟着由A产生的终结字符串，再后边跟着由B产生的终结字符串。根据文法G1的第2条规则A→aA|a知道，由A产生的终结字符串是{am|m1}；根据B的规则B→bB|ε知道，由B产生的终结字符串是{bn|0}。因此，L(G1)={dambn|m1，n0}。

正确答案：A
解析：关于文法和语言的概念是形式语言的理论基础，形式语言抽象地定义为一个数学系统。“形式”是指这样的事实：语言的所有规则只以什么符号串能出现的方式来陈述。本题属于基本概念题。