A számítási komplexitáselmélet területén, különösen a véges állapotú gépek tanulmányozásában, a non-determinizmus fogalma fontos szerepet játszik. A nem-determinisztikus véges állapotú gépek (NFSM-ek) olyan elméleti modellek, amelyek lehetővé teszik több elfogadható út megtételét bármely adott állapotban. Ilyen helyzettel szembesülve azonban felmerül a kérdés: melyik