从本篇开始,使用标记父项 BTBMS 进行分析。
ψZ(ωω)=(0)(1(2,1))
ψZ(ωω+1)=(0)(1(2,1))(1)
ψZ[ωω+ω](ωω+ω)=(0)(1(2,1))(1)(3)
ψZ[ωω+ω](ψZ[ωω](ωω))=(0)(1(2,1))(1)(3(4))
ψZ[ωω+ω](ψZ(ωω))=(0)(1(2,1))(1)(3(4,3))
ψZ(ωω+ω)=(0)(1(2,1))(1,1)
ψZ[ωω+ω2](ωω+ω2)=(0)(1(2,1))(1,1)(3)
ψZ[ωω+ω2,ψZ[ωω](ωω)](ψZ[ωω](ωω))=(0)(1(2,1))(1,1)(3(4))
ψZ[ωω+ω2,ψZ[ωω](ωω)](ψZ(ωω))=(0)(1(2,1))(1,1)(3(4)(5)(6,5))
ψZ[ωω+ω2](ψZ[ωω](ωω))=(0)(1(2,1))(1,1)(3(4,1))
ψZ[ωω+ω2,ψZ[ωω](ωω×2)](ψZ[ωω](ωω×2))=(0)(1(2,1))(1,1)(3(4,1),3(4))
ψZ[ωω+ω2](ψZ[ωω](ωω×2))=(0)(1(2,1))(1,1)(3(4,1),3(4,1))
ψZ[ωω+ω2](ψZ[ωω](ωω2))=(0)(1(2,1))(1,1)(3(4,1)(4))
ψZ[ωω+ω2,ψZ[ωω](ωωω)](ψZ[ωω](ωωω))=(0)(1(2,1))(1,1)(3(4,1)(4)(6))
ψZ[ωω+ω2,ψZ[ωω](ωωω)](ψZ(ωω))=(0)(1(2,1))(1,1)(3(4,1)(4)(6(7,6)))
ψZ[ωω+ω2](ψZ[ωω](ωωω))=(0)(1(2,1))(1,1)(3(4,1)(4,1))
ψZ[ωω+ω2](ψZ[ωω](ωωω+1))=(0)(1(2,1))(1,1)(3(4,1)(4,1)(4))
ψZ[ωω+ω2](ψZ[ωω](ωωω×2))=(0)(1(2,1))(1,1)(3(4,1)(4,1)(4,1))
ψZ[ωω+ω2](ψZ[ωω](ωωω2))=(0)(1(2,1))(1,1)(3(4,1)(5))
ψZ[ωω+ω2](ψZ[ωω](ωωωω))=(0)(1(2,1))(1,1)(3(4,1)(5,1))
ψZ[ωω+ω2](ψZ[ωω](ψZ(ω)))=(0)(1(2,1))(1,1)(3(4,1)(5,5))
ψZ[ωω+ω2,ψZ[ωω](ψZ[ωω](ωω))](ψZ[ωω](ψZ[ωω](ωω)))=(0)(1(2,1))(1,1)(3(4,1)(5(6)))
ψZ[ωω+ω2](ψZ[ωω](ψZ[ωω](ωω)))=(0)(1(2,1))(1,1)(3(4,1)(5(6,1)))
ψZ[ωω+ω2](ψZ(ωω))=(0)(1(2,1))(1,1)(3(4,3))
ψZ[ωω+ω2](ψZ(ωω+ω))=(0)(1(2,1))(1,1)(3(4,3))(3,3)
ψZ[ωω+ω2](ψZ[ωω+ω2](ψZ(ωω)))=(0)(1(2,1))(1,1)(3(4,3))(3,3)(5(6,5))
ψZ(ωω+ω2)=(0)(1(2,1))(1,1,1)
ψZ[ωω+ω3](ωω+ω3)=(0)(1(2,1))(1,1,1)(3)
ψZ[ωω+ω3,ψZ[ωω](ωω)](ψZ[ωω](ωω))=(0)(1(2,1))(1,1,1)(3(4))
ψZ[ωω+ω3](ψZ[ωω](ωω))=(0)(1(2,1))(1,1,1)(3(4,1))
ψZ[ωω+ω3,ψZ[ωω](ωω2)](ψZ[ωω](ωω2))=(0)(1(2,1))(1,1,1)(3(4,1)(4))
ψZ[ωω+ω3,ψZ[ωω](ωω2),ψZ[ωω](ωωω)](ψZ[ωω](ωωω))=(0)(1(2,1))(1,1,1)(3(4,1)(4)(6))
ψZ[ωω+ω3,ψZ[ωω](ωω2)](ψZ[ωω](ωωω))=(0)(1(2,1))(1,1,1)(3(4,1)(4,1))
ψZ[ωω+ω3,ψZ[ωω](ωω2)](ψZ[ωω](ψZ[ωω](ωω)))=(0)(1(2,1))(1,1,1)(3(4,1)(5(6,1)))
ψZ[ωω+ω3,ψZ[ωω](ωω2)](ψZ(ωω))=(0)(1(2,1))(1,1,1)(3(4,1)(5(6,5)))
ψZ[ωω+ω3](ψZ[ωω](ωω2))=(0)(1(2,1))(1,1,1)(3(4,1,1))
ψZ[ωω+ω3](ψZ[ωω](ωω3))=(0)(1(2,1))(1,1,1)(3(4,1,1)(4))
ψZ[ωω+ω3](ψZ[ωω](ωωω))=(0)(1(2,1))(1,1,1)(3(4,1,1)(4,1))
ψZ[ωω+ω3](ψZ[ωω](ωωω2))=(0)(1(2,1))(1,1,1)(3(4,1,1)(4,1,1))
ψZ[ωω+ω3](ψZ[ωω](ωωω3))=(0)(1(2,1))(1,1,1)(3(4,1,1)(5))
ψZ[ωω+ω3](ψZ[ωω](ψZ[ωω](ωω)))=(0)(1(2,1))(1,1,1)(3(4,1,1)(5(6)))
ψZ[ωω+ω3](ψZ(ωω))=(0)(1(2,1))(1,1,1)(3(4,3))
ψZ(ωω+ω3)=(0)(1(2,1))(1,1,1,1)
ψZ[ωω×2](ωω×2)=(0)(1(2,1))(1(3))
ψZ[ωω×2,ωω+1](ωω+1)=(0)(1(2,1))(1(3))(3)
ψZ[ωω×2,ωω+1,ψZ[ωω](ωω)](ψZ[ωω](ωω))=(0)(1(2,1))(1(3))(3(4))
ψZ[ωω×2,ωω+1,ψZ[ωω](ωω)](ψZ(ωω))=(0)(1(2,1))(1(3))(3(4)(5)(6,5))
ψZ[ωω×2,ωω+1](ψZ[ωω](ωω))=(0)(1(2,1))(1(3))(3(4,1))