Op het gebied van de computationele complexiteitstheorie, met name bij de studie van eindige-toestandsmachines, speelt het concept van niet-determinisme een belangrijke rol. Niet-deterministische eindige toestandsmachines (NFSM's) zijn theoretische modellen waarmee in een bepaalde toestand meerdere aanvaardbare paden kunnen worden gevolgd. Wanneer u met een dergelijke situatie wordt geconfronteerd, rijst echter de vraag: welke