在形式语言中，若文法G的产生式集P为：(1)Z→Bc(2)Z→Zc(3)B→Ab(4)B→Bb(5)A→Aa(6)A→a则文法G是(27)文法，识别G的自动机为(28)。对于G来说，(29)为文法G可接受的字符串，(30)为文法G不可接受的字符串。供选择的答案：A．短语B．上下文有关C．上下文无关D．正则

正确答案：D
解析：形式语言首先于1956年由Chomsky进行描述。该理论讨论了语言与文法的数学理论，按照对文法规则的不同定义形式，对语言和文法进行了分类。一般来说，Chomsky文法是一个四元组G=(VN，Vr，P，Z)，其中VN为非终结符集合，Vr为由终结符组成的字母表集合，P是有穷非空的重写规则集合，Z是识别符号。文法G对应的语言是能从该文法的识别符号产生的那些终结符号串(句子)组成的集合。简单来说，对于文法的分类分为4类：0型文法也称短语结构文法可以由图灵机识别。1型文法也称上下文有关文法，可以由线性界限自动机识别。2型文法也称上下文无关文法，可以由下谁自动机识别。3型文法也称正则文法可以由有穷状态自动机识别。具体的文法定义可以参照编译原理中的相关概念。某种文法可以接受的句子经过简单推理即可。

正确答案：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}。