プログラミングの世界で非決定性というのは
ひとつの問いかけに対して、複数の解がありうる場合を
いう。このWikipediaの非決定的アルゴリズムの説明は
これを完全に欠いており、 >>460 が正しい。