问题
单项选择题
有限自动机（FA）可用于识别高级语言源程序中的记号（单词），FA可分为确定的有限自动机（DFA）和不确定的有限自动机（NFA）。若某DFAD与某NFAM等价，则（）。
A．DFAD与NFAM的状态数一定相等
B．DFAD与NFAM可识别的记号相同
C．NFAM能识别的正规集是DFAD所识别正规集的真子集
D．DFAD能识别的正规集是NFAM所识别正规集的真子集
答案
参考答案：B
解析：
本题考查DFA和NFA的相关知识。
有限自动机的确定化：对于任一个NFAM都可以构造其对应的DFAM'，使这两个自动机接受相同的字符串集合：L(M')=L(M)。所以选项B正确。
