>>560色々意見をありがとうございます・
ＢＢ（ω）＝ω
は僕もそうなるとおもいます。結論を出すには他の人の意見も聞いてみたいですが。

『ｎ』についても御意見の通りです。
そもそも日本語か英語かも規定してないですから、あくまで
チューリングマシーンを知らなくても解るように書いた程度のものです。
（>>503のε_0文字の最大順序数なんて実数かもさだかでないですしね）

↑＾ｎ、→、【↑】、【†】に順序数を適用した場合、一つ一つを定義する
と膨大な量になるので必要はないと思います。順序数の基本に従って
いけば、導きだされる答えは決まってくると思いますので。