Questions about automata, formal grammars or other computation-models that specifically relate to the use of nondeterminism. Not to be confused with randomness or ambiguity!
Fitting category tags are automata and/or computation-models. Other related tags include finite-automata, pushdown-automata, linear-bounded-automata, turing-machines, cellular-automata, formal-grammars, and probably more.
Note that in the context of grammars, nondeterminism should not be confused with ambiguity, either!