设 N 为具有 n 个状态的 NFA，并令 M 为具有识别相同语言的 m 个状态的最小化 DFA。以下哪一项是必要的? (A) m ≤ 2 n (B) n ≤ m (C) M 有一个接受状态(D) m = 2 n答案：(一)说明： DFA 中的状态是对应 DFA 的 NFA 状态的真子集=> NFA 的状态集 =n => n 个元素的集合的子集数 = 2 n => m<=2 n这个问题的测验