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