>>26はMがどこまでも大きくなればBB(M)もどこまでも大きくなる、ということを証明しているんじゃ？　あと

>N個を超える1を出力した時点でそのチューリングマシンは停止しないと判定できる。

N個を超える1を出力した後にその1を消して停止することも考えられるのではないでしょうか？