单项选择题

有限自动机(FA)可用于识别高级语言源程序中的记号(单词),FA可分为确定的有限自动机(DFA)和不确定的有限自动机(NFA)。若某DFA D与某NFA M等价,则______。

A.DFA D与NFA M的状态数一定相等
B.DFA D与NFA M可识别的记号相同
C.NFA M能识别的正规集是DFA D所能识别的正规集的真子集
D.DFA D能识别的正规集是NFA M所能识别的正规集的真子集