En la sfero de komputila komplekseca teorio, specife en la studo de finhavaj ŝtatmaŝinoj, la koncepto de ne-determinismo ludas gravan rolon. Ne-determinismaj finhavaj ŝtatmaŝinoj (NFSMoj) estas teoriaj modeloj kiuj permesas ke multoblaj akcepteblaj padoj estu prenitaj ĉe iu antaŭfiksita stato. Tamen, fronte al tia situacio, aperas la demando: kiu