有限自動機(jī)（FA）可用于識別高級語言源程序中的記號（單詞），F(xiàn)A 可分為確定的有限自動機(jī)（DFA）和不確定的有限自動機(jī)（NFA）。若某 DFA D 與某 NFA M 等價(jià)，則（ ）  。
A、DFA D 與 NFA M 的狀態(tài)數(shù)一定相等
B、DFA D 與 NFA M 可識別的記號相同
C、NFA M 能識別的正規(guī)集是 DFA D 所識別正規(guī)集的真子集
D、DFA D 能識別的正規(guī)集是 NFA M 所識別正規(guī)集的真子集