设 N 是一个有 n 个状态的 NFA。设 k 是一个最小 DFA 的状态数，它等价于 N。以下哪一项是必然正确的?
(A) k ≥ 2 n
(B) k≥n
(C) k ≤ n 2
(D) k ≤ 2 n答案： (D)
说明：当我们只有起始状态并且所有其他状态都无法从状态状态到达时，DFA 中的最小状态数将为 1。
在最坏的情况下，DFA 中的最大状态数将是 2 n作为具有 n 个元素的集合的子集数。
因此，k ≤ 2 n
选项(D)是正确的。
相关问题 – GATE |门 IT 2008 |问题 6
这个问题的测验