在形式语言中，文法G是一个四元组G=(VN，Vr，P，Z)，其中VN为 (1) 。若文法C的产生式集P为：

(1)Z→Bc (2)Z→Zc (3)B→Ab (4)B→Bb (5)A→Aa (6)A→a

则文法G是 (2) 文法，识别G的自动机为 (3) 。对于G来说， (4) 为文法G可接受的字符串， (5) 为文法G不可接受的字符串。

供选择的答案：

2（）

A．短语

B．上下文有关

C．上下文无关

D．正则