История изменений
Исправление Norgat, (текущая версия) :
halt-decision - это у него функция, которая по любой программе, на заданном языке, скажет останавливается она (yes) или нет(no). Это второй абзац.
А в третьем абзаце просто условие детерминированности half-decision. Т.е. там написано, что если (prog, ans) и (prog, ans') одновременно принадлежат half-decision множеству, то, следовательно, ans == ans'.
Исходная версия Norgat, :
halt-decision - это у него функция, которая по любой программе, на заданном языке, скажет останавливается она (yes) или нет(no). Это второй абзац.
А в третьем абзаце просто условие детерминированности half-decision. Т.е. там написано, что если (prog, ans) и (prog, ans') одновременно принадлежат half-decision множеству, то, следовательно, ans == ans'.
Ед. что, множество Lang наверно стоило бы взять как множество всех конечных цепочек над словарём. Чтоб уж в бесконечности то не лезть.