4
Решаема ли проблема остановки для чистых программ на идеальном компьютере?
Довольно просто понять, почему проблема остановки неразрешима для нечистых программ (т. Е. Программ, в которых ввод / вывод и / или состояния зависят от состояния машины); но интуитивно кажется, что остановка чистой программы на идеальном компьютере может быть решена, например, статическим анализом. Это на самом деле так? Если нет, то …