文法G为：S→AB A→aA|ε B→bBc|bc该文法描述的语言是( )。
A.{bc} B.{aⁿb^mc^m | n＞=0，m＞=1}}
C.{aⁿb^mc^m |n＞0，m＞=1}} D.{aⁿb^mc^m|n＞=0，m＞=0}}

A.{bc}
B.{aⁿb^mc^m
C.{aⁿb^mc^m
D.{aⁿb^mc^m

【参考答案】

B从该文法推导出的句子可以包含a，也可以不包含a，但是至少有一个bc。