W dziedzinie teorii złożoności obliczeniowej, szczególnie w badaniu maszyn o skończonych stanach, koncepcja niedeterminizmu odgrywa ważną rolę. Niedeterministyczne maszyny skończone (NFSM) to modele teoretyczne, które pozwalają na podjęcie wielu akceptowalnych ścieżek w dowolnym stanie. Jednak w obliczu takiej sytuacji pojawia się pytanie: która