Recently, people have started using dfa for tagging some finite-automata questions.
Do we really need this tag, or should it be a synonym for finite-automata?
The question can be asked in principle about nfa, but nobody used this so far. We do have nondeterminism.