いや待てよ。ある有限個の状態しか持たないことが分かっているプログラムをＡとして
Ａを解析すればそれが取りうる状態数の最大値が分かって高々Ｎ個の状態しかとりえないことが分かる。
よって「有限個の状態しか取り得ない任意のプログラム」の停止問題は
「高々N個の状態しか取り得ないプログラム」の停止問題に帰着するかも。