I området for beregningsmæssig kompleksitetsteori, specifikt i studiet af endelige tilstandsmaskiner, spiller begrebet ikke-determinisme en vigtig rolle. Non-deterministic finite state machines (NFSM'er) er teoretiske modeller, der tillader flere acceptable stier, der kan tages i en given tilstand. Men når man står over for en sådan situation, opstår spørgsmålet: hvilken