Na področju teorije računalniške kompleksnosti, zlasti pri preučevanju končnih avtomatov, ima koncept nedeterminizma pomembno vlogo. Nedeterministični končni avtomati (NFSM) so teoretični modeli, ki omogočajo več sprejemljivih poti v katerem koli stanju. Vendar pa se ob taki situaciji pojavi vprašanje: kateri