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