<[])>对应e_+1)
<[[]])>对应φ_2+1)
<[[]][])>对应φ_2·2)
<[[]][[]])>对应φ_3
<>对应φ_3
<>对应φ_4
<>对应φ_5
<])>对应φ_w
<])[[]])>对应φ_2+1)
<])[[]][[]])>对应φ_3+1)
<])[[]>对应φ_w
<][])>对应φ_w
<][[]])>对应φ_{w+1}
<][[]][[]])>对应φ_{w+2}
<][[]>对应φ_{w·2}
<>对应φ_{w2}
<)])>对应φ_{ww}
<])>对应φ_{e_0}
<])>对应φ_{φ_2}
<])>对应φ_{φ_3}
<])])>对应φ_{φ_w}
<])])])>对应φ_{φ_{φ_w}}
<>对应φ(如果用上节讲的与ψ函数的关系,你将得到φ_3,但其实并非如此)
<[[][]])>对应φ
<>对应φ
<>对应φ
<>对应φ
<>对应φ
<])>对应φ
<>对应φ
<>对应φ
<]])>对应φ)
<>对应lvo
在φ函数的范围就用φ函数。但到了lvo或者更高,φ函数就不够用了。
比如:
<>对应ψ_0
<[[[]]])>对应ψ_0
<>对应ψ_0
<>对应ψ_0)
<>对应ψ_0)
<])>对应ψ_0)
<>对应ψ_0)
<>对应ψ_0)
<]])>对应ψ_0)
<>对应ψ_0)
<])>对应ψ_0)
<>对应ψ_0)
<>对应ψ_0)
<]])>对应ψ_0)
<>对应ψ_0)
<]])>对应ψ_0)
<>对应ψ_0
<>对应ψ_0
<]]])>对应ψ_0
<>对应ψ_0
<>对应ψ_0
这些就不能用φ函数表示。
再比如:
<>对应ψ_0=ψ_0)