4
$\begingroup$

Recently, people have started using for tagging some questions.

Do we really need this tag, or should it be a synonym for ?

The question can be asked in principle about , but nobody used this so far. We do have .

$\endgroup$
7
$\begingroup$

I think is specific enough, even for questions that aim towards getting a DFA. That is because determinism is (usually) not the issue; every NFA can be algorithmically converted into a DFA. The issue is finding any finite automaton.

For questions that specifically deal with nondeterminism, we already have (which can be used with any machine-model tag).

Therefore, I think and (proactively) are obsolete. I proposed them as synonyms of ; if you agree, please upvote them.

$\endgroup$
  • $\begingroup$ Since there were no comments or votes against, and three upvotes on both synonyms, I'm mod-approving them. $\endgroup$ – Raphael Feb 17 '16 at 0:01

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .