06/12/05 21:26:31
>>18-21の理屈で行くとfが単調増加関数だとするとテープに
ｍ以上の入力を書くのにはBB＾-1(m)状態あればいいから
f(m)はBB(n+p+BB^-1(m))を越えられないって事だな。
nもpも定数だしBB^-1(m)もほとんど定数みたいなもんだから
計算可能な関数はBBからみればまさに止まって見えるつーことだな。
06/12/05 21:26:31
>>18-21の理屈で行くとfが単調増加関数だとするとテープに
ｍ以上の入力を書くのにはBB＾-1(m)状態あればいいから
f(m)はBB(n+p+BB^-1(m))を越えられないって事だな。
nもpも定数だしBB^-1(m)もほとんど定数みたいなもんだから
計算可能な関数はBBからみればまさに止まって見えるつーことだな。