有限自动机（FA）可用于识别高级语言源程序中的记号（单词），FA可分为确定的有限自动机（DFA）和不确定的有限自动机（NFA）。若某DFAD与某NFAM等价，则（）。

A．DFA D与NFA M的状态数一定相等

B．DFA D与NFA M可识别的记号相同

C．NFA M能识别的正规集是DFA D所识别正规集的真子集

D．DFA D能识别的正规集是NFA M所识别正规集的真子集