なぜそのような停止問題decidableのための五の言語の限定ものづくりの最高値の定数や変数には?

Question

これからの試験は私の大学で私が使っているう構成の試験:

指定される言語 $ ext{後藤}_{17}^c\subseteq ext{後藤}$.この言語を含む正確に $ ext{後藤}$ プログラムのない定数以上 $17$ も変数以上 $c$.

$後藤$ こちらのセットのすべてのプログラムを $後藤$ 言語は、以下の要素

と変数 $v_i\in\mathbb{N}$ や定数 $c\in\mathbb{N}$
担当： $x_i:=c,x_i:=x_i\pm c$
条件付きジャンプします：の場合との比較)後藤 $L_i$
Haltcommand:停止

んをフォーマライゼーションによる証明がアドバイスをお聞かせ下さてこれまでにその例外でも気軽に:任意のプログラムこのセットしていることは有限です。有限のプログラムを含有量の変数の有限額は、線ることができました。などが有限額の状態はこのプロセスできます。をさせてしまえばこのプログラムの実行を変えることで、リストのすべての構成に対応しています。この組み合わせを用いる変数値の状態でのプログラム。をさせてしまえば、プログラムであるものでなければならないものが最終的に:のプログラムば停止する。この場合、お返りとしていることとしば停止する。のプログラムが構成が収録されています。としての言語が決定的なことはしないフルループを正確に繰り返します。

他にはない場合で存在していることを意味して走れるようになってきた永遠に有限のコードなしで繰り返しを設定します。この後の各ステップ、リストの無限の階段があり、新しい設定をします。このようになることがありま無限の構成では、矛盾に満ちているものです。

すが、いかがでしょうか？さらに、あなたは何点ぐらいになると思をより正式な証明を見る場合ですか。ない場合は、あなたは何点ぐらいになると思正しい証拠ですか？

Answer 1

が有限個の異なる国の価値観の変数のプログラムカウンターでお調べします。）ご"限定後藤プログラム"か（汚)方法を記述する決定性有限オートマトン

ただこのプログラム国が有限であり、可能な地図はできる非ループを解によるものように広が最初に検索をグラフや隣国).