单项选择题

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

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