我国农学史上最早传播西方近代科学知识的书籍是（）。

A.《农政全书》

B.《本草纲目》

C.《天工开物》

D.《千金方》

在形式语言中，若文法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．线性界限自动机