>>841
無限時間チューリングマシンだと
0, ω, Γ_0, ω_1^CK, ω_1^CK + Γ_0 + ω
はそれぞれどういう表記になりますか?