javascript - 関数がすべての入力に対して停止するかどうかを確認する

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 を返す可能性があるが、無限に実行される可能性があるプログラムを作成することです。