I noticed that the terminology could be more precise. Rename NFA to ε-NFA. Rename DFA to minimal DFA.