([{《》《》}])对应ψ_0(Ω_3·2)
([{《》《》《》}])对应ψ_0(Ω_3·3)
([{《()》}])对应ψ_0(ψ_3(1))
([{《[]》}])对应ψ_0(ψ_3(ψ_1(0)))
([{《[{}]》}])对应ψ_0(ψ_3(ψ_1(ψ_2(0))))
([{《[{《》}]》}])对应ψ_0(ψ_3(ψ_1(ψ_3(0))))
([{《{}》}])对应ψ_0(ψ_3(ψ_2(0)))
([{《{《》}》}])对应ψ_0(ψ_3(ψ_2(ψ_3(0))))
([{《《》》}])对应ψ_0(ψ_3(ψ_3(0)))
([{《【】》}])对应ψ_0(ψ_4(0))
([{《【】》}])()对应ψ_0(ψ_4(0))+1
([{《【】》}])([{《【】》}])对应ψ_0(ψ_4(0))·2
([{《【】》}]())对应ψ_0(ψ_4(0)+1)
([{《【】》}][{《【】》}])对应ψ_0(ψ_4(0)+ψ_1(ψ_4(0)))
([{《【】》}()])对应ψ_0(ψ_4(0)+ψ_1(ψ_4(0)+1))
([{《【】》}{《【】》}])对应ψ_0(ψ_4(0)+ψ_2(ψ_4(0)))
([{《【】》()}])对应ψ_0(ψ_4(0)+ψ_2(ψ_4(0)+1))
([{《【】》《【】》}])对应ψ_0(ψ_4(0)+ψ_3(ψ_4(0)))
([{《【】()》}])对应ψ_0(ψ_4(0)+ψ_3(ψ_4(0)+1))
([{《【】【】》}])对应ψ_0(ψ_4(0)·2)
([{《【()】》}])对应ψ_0(ψ_4(1))=ψ_0(ψ_4(ψ_0(0)))
([{《【[]】》}])对应ψ_0(ψ_4(ψ_1(0)))
([{《【[{}]】》}])对应ψ_0(ψ_4(ψ_1(ψ_2(0))))
([{《【[{《》}]】》}])对应ψ_0(ψ_4(ψ_1(ψ_3(0))))
([{《【[{《【】》}]】》}])对应ψ_0(ψ_4(ψ_1(ψ_4(0))))
([{《【{}】》}])对应ψ_0(ψ_4(ψ_2(0)))
([{《【{《【】》}】》}])对应ψ_0(ψ_4(ψ_2(ψ_4(0))))
([{《【《》】》}])对应ψ_0(ψ_4(ψ_3(0)))
([{《【《【】》】》}])对应ψ_0(ψ_4(ψ_3(ψ_4(0))))
([{《【【】】》}])对应ψ_0(ψ_4(ψ_4(0)))
([{《【(5)】》}])对应ψ_0(ψ_5(0))
([{《【(5(6))】》}])对应ψ_0(ψ_6(0))
如此类推。
特别感谢“hyps”大佬~,