それがビジービーバーであり、そのマシンが書いた1の数こそが σ("n")ということになる(なぜなら、停止するすべての "n"-状態チューリングマシンは "s"("n")ステップ以内で停止するはずであるため)。