「Halteproblem」のコアイメージコアイメージ
プログラムと入力の組を見て、処理が有限回で終わるかを判定する問題
「Halteproblem」のドイツ語での定義ドイツ語での定義
Das Halteproblem ist die Frage, ob ein Programm bei einer bestimmten Eingabe nach endlich vielen Schritten anhält.
「Halteproblem」の語源語源
Halteproblemは、haltenに由来するHalte-とProblemの複合語で、処理が止まるかを問う問題を表す
「Halteproblem」のコラムコラム
- すべてのプログラムに通用し、停止するかを必ず判定できる一般的な手順は存在しないという計算機科学の基本例