Arvutusliku keerukuse teooria valdkonnas, eriti lõplike olekumasinate uurimisel, mängib mittedeterminismi mõiste olulist rolli. Mittedeterministlikud lõpliku oleku masinad (NFSM) on teoreetilised mudelid, mis võimaldavad igas olekus valida mitu vastuvõetavat teed. Sellise olukorraga silmitsi seistes tekib aga küsimus: milline