Exams › GATE › Technical
A regular language L is accepted by a non-deterministic finite automaton (NFA) with n states. Which of the following statement(s) is/are FALSE?
- L may have an accepting NFA with < n states.
- L may have an accepting DFA with < n states.
- There exists a DFA with ≤ 2ⁿ states that accepts L.
- Every DFA that accepts L has > 2ⁿ states.
Correct answer: Every DFA that accepts L has > 2ⁿ states.
Solution
This statement is false because while a DFA can have up to 2ⁿ states in the worst case when converting from an NFA with n states, it is not guaranteed that every DFA accepting the same language must exceed that number of states; some DFAs may have fewer states.
Related GATE Technical questions
⚔️ Practice GATE Technical free + battle 1v1 →