4
Чи вирішується проблема зупинки для чистих програм на ідеальному комп'ютері?
Досить просто зрозуміти, чому проблема зупинки не вирішується для нечистих програм (тобто тих, у яких введення / виведення та / або стани залежать від стан-глобального стану машини); але інтуїтивно зрозуміло, що зупинка чистої програми на ідеальному комп'ютері може бути вирішена за допомогою, наприклад, статичного аналізу. Це насправді так? Якщо ні, …