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 .


1 Answer 1


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.

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

You must log in to answer this question.

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