Explanation : n is a number of state of given nfa (may not be minimal) k is a number of states of equivalent min dfa. First, we have to convert nfa to dfa using a subset construction algorithm and we get an equivalent dfa which will have atmost 2n states. Then we can convert this dfa to a minimal dfa and get a minimal dfa with k states where k ≤ 2n.