1,010 views

1 Answer

2 votes
2 votes
No, it is not in general minimal. The standard determinization procedure, the subset construction, always converts an NFA with n states to a DFA with 2^n states and there is no reason that this should be minimal.

In practical terms, if you convert an NFA, you'll often find that there are unreachable states in the resulting DFA, which immediately shows that the result is not minimal. For a more extreme example, take any DFA with n states, call it an NFA and determinize it. You now have a DFA with 2^n>n states that accepts the same language as it did before, so it's certainly not minimal.

Related questions

0 votes
0 votes
0 answers
2
Biswarup01 asked Apr 6, 2022
118 views
How many multisets can be constructed from n distinct elements? if n bounded.according to me it will be 2^n. is it correct?