>>50のtxtでの定義に、問題がありました。
言葉での定義に従うと、例えばΩ_0(ψ_{Ω_0(0)+1}(0))には収束列がないのに、
規則に従うとΩ_0(ψ_{Ω_0(0)+1}(0))は収束列を持つことになってしまいます。
それに関連して、例えばψ(0,ψ(1,0,0)+1,ψ(1,1,ψ(0,ψ(1,0,0),ψ(1,2,0)))+ψ(1,1,0))の
収束列のn≧2を求めて正則な表記に書き直すと、
ψ(0,ψ(1,0,0)+1,ψ(1,1,ψ(0,ψ(1,0,0),ψ(1,2,0)))+ψ(1,1,0))に戻ってしまうという問題も生じます。

言葉での定義に一致するように規則を訂正したものをアップロードしました。
http://www1.axfc.net/uploader/Sc/so/179316.txt

また、Rubyでのプログラムが完成したので、消えていた前のプログラムと一緒にアップロードしました。
http://www1.axfc.net/uploader/Sc/so/179317.lzh