U području teorije računske složenosti, posebno u proučavanju konačnih mašina, koncept nedeterminizma igra važnu ulogu. Nedeterminističke mašine konačnog stanja (NFSM) su teoretski modeli koji omogućavaju da se u bilo kom stanju ide više prihvatljivih putanja. Međutim, kada se suočimo sa takvom situacijom, postavlja se pitanje: koja