История изменений
Исправление foror, (текущая версия) :
А ещё, дай угадаю, законы и вообще работать в судах.
Было бы неплохо.
А про проблему останова ты точно знаешь?
Даны описание процедуры и её начальные входные данные. Требуется определить: завершится ли когда-либо выполнение процедуры с этими данными; либо, что процедура всё время будет работать без остановки.
foo(int x)
for (int i = 0; i < x; x++)
print(x)
foo(10)
Ответ: процедура завершится. Можно писать анализатор. Или это что-то по научному и тебе нужен всеобщий анализатор для сферических коней в ваккууме?
Исправление foror, :
А ещё, дай угадаю, законы и вообще работать в судах.
Было бы неплохо.
А про проблему останова ты точно знаешь?
Даны описание процедуры и её начальные входные данные. Требуется определить: завершится ли когда-либо выполнение процедуры с этими данными; либо, что процедура всё время будет работать без остановки.
foo(int x)
for (int i = 0; i < x; x++)
print(x)
foo(10)
Ответ: процедура завершится. Можно писать анализатор. Или это что-то по научному и тебе нужен всеобщий анализатор для коней в ваккууме?
Исходная версия foror, :
А ещё, дай угадаю, законы и вообще работать в судах.
Было бы неплохо.
А про проблему останова ты точно знаешь?
Даны описание процедуры и её начальные входные данные. Требуется определить: завершится ли когда-либо выполнение процедуры с этими данными; либо, что процедура всё время будет работать без остановки.
foo(int x)
for (int i = 0; i < x; x++)
print(x)
foo(10)
Ответ: процедура завершится. Можно писать анализатор. Или это что-то по научному некие абстрактные кони в ваккууме?