>>38
ビジービーバーって、与えられたnに対して、状態数nの全てのTMを考えて
そのうちで一番大きい出力のものを出す関数ではなかった？

>>1の言ってる話は、現実のコンピュータは状態数もテープ長（メモリ）も有限だから、停止判定ができるってこと？
もちろんずっとその有限から増やさないというなら、
そういうコンピュータたちだけを局所的に停止判定するプログラムは存在するというのは正しい。

ただし、停止性判定の決定不可能性という話の言っていることは、
もし、その状態数とテープ長の上界がnであるようなコンピュータたちの停止性判定をするプログラムをP(n)としたとき、
nからP(n)を求めるプログラムが存在しないということ。