ある文字数以内のプログラムすべての停止判定を行うことが出来るアルゴリズムは存在する
（文字数を限定しなければ）プログラムすべての停止判定を行うことができるアルゴリズムは存在しない

プログラムの文字数が限定されていれば、
たとえばBB(BB(10000))のような非常に大きな数による
ステップ数制限を使った停止判定が行える。
よって返すことが出来る最大の数を調べるアルゴリズムも存在する。
（アルゴリズムが存在するというだけで、実際に動作してみて結果を得ることは事実上無理）

プログラムの文字数が限定されていなければ、
すべてのプログラムの停止判定を行うことができる単一アルゴリズムは存在しない。