设有描述简单算术表达的上下文无关文法如下，其中id表示单字母。 E→E+T|T T→P*T|F F→id
与使用该文法描述的表达式 a+b*c*d相符的语法树为（ ）下图所示有限自动机（DFA）是（）。

（1）A.
B.
C.
D.暂无
（2）A.确定的有限自动机，它能识别以 bab 结尾的
B.确定的有限自动机，他不能识别以 bab 结尾的
C.非确定的有限自动机，他能识别以 bab 结尾的
D.非确定的有限自动机，他不能识别以 bab 结尾的