4
Durma problemi, ideal bir bilgisayardaki saf programlar için belirlenebilir mi?
Durma sorununun neden saf olmayan programlar için (örneğin, makinenin global durumuna bağlı I / O ve / veya durumlara sahip olanlar) kararsız olduğunu anlamak oldukça basittir. ancak sezgisel olarak, saf bir programın ideal bir bilgisayarda durması, örneğin statik analizler ile karar verilebilir gibi görünüyor. Aslında durum bu mu? Olmazsa, bu …