Тооцооллын нарийн төвөгтэй байдлын онолын хүрээнд, ялангуяа төгсгөлийн төлөвийн машинуудыг судлахад детерминизмгүй үзэл баримтлал чухал үүрэг гүйцэтгэдэг. Тодорхой бус хязгаарлагдмал төлөвийн машинууд (NFSMs) нь аль ч төлөвт хүлээн зөвшөөрөгдөх олон замыг сонгох боломжийг олгодог онолын загварууд юм. Гэсэн хэдий ч ийм нөхцөл байдалтай тулгарах үед асуулт гарч ирдэг: аль нь