Does NFA to DFA conversion give the minimal DFA as result?
No, it is not in general minimal. The standard determinization procedure, the subset construction, always converts an NFA with $n$&nbsp;states to a DFA with $2^n$&nbsp;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$&nbsp;states, call it an NFA and determinize it. You now have a DFA with $2^n&gt;n$ states that accepts the same language as it did before, so it's certainly not minimal. (This is a particularly strong example of the first case I mentioned. All states except subsets of size&nbsp;$1$ will be disconnected from the start state, and the states of size&nbsp;$1$ are a copy of the original DFA.)