設有描述簡單算術表達的上下文無關文法如下，其中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 結尾的