История изменений
Исправление Sadler, (текущая версия) :
А проблема в том, что мы, имея входные данные и алгоритм, не сможем определить зациклиться он или нет.
А частных случаях таки можем. Зациклится ли программа while (true) sleep(x) при любом x? Интересно, есть ли способ построить хотя бы неполную практически полезную грамматику с таким свойством.
Исходная версия Sadler, :
А проблема в том, что мы, имея входные данные и алгоритм, не сможем определить зациклиться он или нет.
А частных случаях таки можем. Зациклится ли программа while (true) sleep(x) при любом x?