GATE | GATE CS 2018 | Question 26
Let N be an NFA with n states. Let k be the number of states of a minimal DFA which is equivalent to N. Which one of the following is necessarily true?
(A) k ≥ 2n
(B) k ≥ n
(C) k ≤ n2
(D) k ≤ 2n
Explanation: The minimum number of state in DFA will be 1 when we have only starting state and all other states will not be reachable from stating state.
The maximum number of state in DFA will be 2n as the number of subsets of a set with n elements in the worst case.
Attention reader! Don’t stop learning now. Practice GATE exam well before the actual exam with the subject-wise and overall quizzes available in GATE Test Series Course.
Learn all GATE CS concepts with Free Live Classes on our youtube channel.
Therefore, k ≤ 2n
Option (D) is correct.