Op die gebied van berekeningskompleksiteitsteorie, spesifiek in die studie van eindige-toestandmasjiene, speel die konsep van nie-determinisme 'n belangrike rol. Nie-deterministiese eindige toestand masjiene (NFSMs) is teoretiese modelle wat toelaat dat verskeie aanvaarbare paaie geneem word by enige gegewe toestand. Wanneer so 'n situasie egter gekonfronteer word, ontstaan ​​die vraag: watter