У сферы тэорыі складанасці вылічэнняў, у прыватнасці, пры вывучэнні канечных аўтаматаў, канцэпцыя недэтэрмінізму адыгрывае важную ролю. Недэтэрмінаваныя канечныя аўтаматы (NFSM) - гэта тэарэтычныя мадэлі, якія дазваляюць выкарыстоўваць некалькі прымальных шляхоў у любым зададзеным стане. Аднак пры сутыкненні з такой сітуацыяй узнікае пытанне: які