Проверьте, останавливается ли функция для всех входов

Question

Я хочу написать программу, которая проверяет, является ли функция, скажем, f останавливается для всех значений ее ввода. Короче -

haltChecker = function (arg) => bool

например. в JavaScript

bool haltChecker ( f(a) ){
    return {f halts for all values of a};
}

Решение в JS не требуется, подойдет любой язык.

Спасибо.

Answer 1

Вы можете удивить своего профессора этим .

Answer 2

проблема остановки неразрешима.Неудача.

Чтобы привести простой пример, рассмотрим гипотезу Коллатца (на самом деле, это плохой пример, поскольку не доказано, что она неразрешима - но она демонстрирует, что проблема заключается втяжело :))

Answer 3

Это также известная проблема Остановки , которая не может быть решена в этой общей форме. Лучшее, что вы можете сделать, - это написать программу, которая может возвращать значение true, если функция останавливается для всех входных данных, но она также может работать бесконечно.