>>23
ううんと...
ｍ＝１、　ｍ＝２、...ｍ＝ＭＡＸ-1、ｍ＝０、ｍ＝１、ｍ＝２　ー＞
初期化｜ここからwhile文　　　　　　　　　　　　　　↑二回目
ここでｍ＝２というデータの状態と処理するステップの位置
が完全に一致（つまりプログラムの状態が完全に一致）したことになって無限ループと判明。
しかしこれに理論の飛躍があるといいたいのでしょうね。
見落としはないだろうか？
まず、プログラムの処理ステップは明らかに有限だし、
ｍ＝１からはじまってて．.
ううん、そのプログラムなら判定できるのでは？