在形式语言中，若文法G的产生式集P为：

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

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

供选择的答案：

2（）

A．图灵机

B．下推自动机

C．有穷状态自动机

D．线性界限自动机