>>任意の有限個の状態しか取り得ないプログラム
というのは>>1ではＡにあたるプログラムのこと？
Ａが何通りの状態を取りうるのかの最大値が分かってても駄目？