「プログラムが終わる」ことの証明 〜ハノイの塔 編〜

「猿の惑星　創世記」でチンパンジーがハノイの塔を解いてました。自分、あのパズルが苦手で解いたことなかった→サルに負けた、、、、

というわけで、チンパンジーに対抗心を燃やして「ハノイの塔」を題材に、任意のプログラムが終了する（＝無限ループでない）ことの証明について(おサルに負けてる脳みそで)考えてみた。*1

*1:実際のところ、GUIの時代だし、実用的なプログラムは軒並み無限ループで動いてる気もしないではないけれど。