Log In
1 vote
in Theory of Computation 613 views

1 Answer

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
1 answer
given a sorted array of distinct integers A[1........n], you want to find out whether there is an index i for which A[i]=i.if this problem is solved using divide and conquer method ,then the algorithm run in  a) O(n)               a) O(nlogn)            a) O(logn)         a) O(n2)
asked Sep 7, 2015 in Algorithms ajit 259 views
1 vote
1 answer
How the count to infinity problem is solved using Split Horizontal method please tell ?? what are limitations in this ?
asked Apr 4, 2017 in Computer Networks LavTheRawkstar 4.5k views