Inom området för beräkningskomplexitetsteorin, särskilt i studiet av finita tillståndsmaskiner, spelar begreppet icke-determinism en viktig roll. Icke-deterministiska finita tillståndsmaskiner (NFSM) är teoretiska modeller som tillåter flera acceptabla vägar som kan tas i ett givet tillstånd. Men när man står inför en sådan situation uppstår frågan: vilken