([[]])对应φ_2(0)
(([[]]))对应φ_2(0)
(([[]])(([[]])))对应w(φ_2(0)·2)
(([[]])[])对应e_(φ_2(0)+1)
((([[]])[])[])对应e_(φ_2(0)+2)
(([[]])[][])对应e_(φ_2(0)+w)
(([[]])[][][])对应e_(φ_2(0)+w2)
(([[]])[([])])对应e_(φ_2(0)+e_0)
(([[]])[([[]])])对应e_(φ_2(0)·2)
((([[]])[([[]])])[([[]])])对应e_(φ_2(0)·3)
(([[]])[([[]])][])对应e_(w(φ_2(0)+1))
(([[]])[([[]])][([[]])])对应e_(w(φ_2(0)·2))
(([[]])[([[]])()])对应e_(ww(φ_2(0)+1))
(([[]])[([[]])([[]])])对应e_(ww(φ_2(0)·2))
(([[]])[(([[]])(([[]])))])对应e_(www(φ_2(0)·2))
(([[]])[(([[]])[])])对应e_(e_(φ_2(0)+1))
(([[]])[(([[]])[(([[]])[])])])对应e_(e_(e_(φ_2(0)+1)))
(([[]])[[]])对应φ_2(1)
((([[]])[[]])[[]])对应φ_2(2)
([[]][])对应φ_2(w)(如果用上节讲的与ψ函数的关系,你将得到e_(φ_2(0)+1),但其实并非如此)
([[]][][])对应φ_2(w2)
([[]][()])对应φ_2(ww)
([[]][([[]])])对应φ_2(φ_2(0))
([[]][[]])对应φ_3(0)(如果用上节讲的与ψ函数的关系,你将得到φ_2(1),但其实并非如此)
(([[]][[]])[])对应e_(φ_3(0)+1)
(([[]][[]])[[]])对应φ_2(φ_3(0)+1)
(([[]][[]])[[]][([[]][[]])])对应φ_2(φ_3(0)·2)
(([[]][[]])[[]][[]])对应φ_3(1)
([[]][[]][])对应φ_3(w)
([[]][[]][[]])对应φ_4(0)
([[]][[]][[]][[]])对应φ_5(0)
([[]()])对应φ_w(0)
(([[]()])[[]])对应φ_2(φ_w(0)+1)
(([[]()])[[]][[]])对应φ_3(φ_w(0)+1)
(([[]()])[[]()])对应φ_w(1)
([[]()][])对应φ_w(w)