本条目展示Catching函数的分析。以下左为FGH,右为SGH。均用MOCF表示。
.f3(fψ(Ωω)(n))∼ψ(Ωω+1)f4n(fψ(Ωω)(n))∼ψ(Ωω+Ω)fωn(fψ(Ωω)(n))∼ψ(Ωω+ΩΩ)fωωn(fψ(Ωω)(n))∼ψ(Ωω+ΩΩΩ)fψ(0)n(fψ(Ωω)(n))∼ψ(Ωω+ψ1(Ω))fψ(Ω)[n](fψ(Ωω)(n))∼ψ(Ωω+ψ1(Ω2))fψ(Ω2)[n](fψ(Ωω)(n))∼ψ(Ωω+ψ1(Ω3))fψ(Ω3)[n](fψ(Ωω)(n))∼ψ(Ωω+ψ1(Ω4))fψ(Ωω)[n](fψ(Ωω)(n))∼ψ(Ωω+ψ1(Ωω))fψ(Ωω)[n]2(fψ(Ωω)(n))∼ψ(Ωω+ψ1(Ωω)×2)fψ(Ωω)[n]+1n(fψ(Ωω)(n))∼ψ(Ωω+ψ1(Ωω)×Ω)fψ(Ωω)[n]×2(fψ(Ωω)(n))∼ψ(Ωω+ψ1(Ωω)2)fψ(Ωω[n]+1)(fψ(Ωω)(n))∼ψ(Ωω+ψ1(Ωω+1))fψ(Ωω[n]+ω)n(fψ(Ωω)(n))∼ψ(Ωω+ψ1(Ωω+Ω))fψ(Ωω[n]+ψ(0)[n])(fψ(Ωω)(n))∼ψ(Ωω+ψ1(Ωω+ψ1(0)))fψ(Ωω[n]+ψ(Ωω[n]))(fψ(Ωω)(n))∼ψ(Ωω+ψ1(Ωω+ψ1(Ωω)))fψ(Ωω[n]+Ω)[n](fψ(Ωω)(n))∼ψ(Ωω+Ω2)fψ(Ωω[n]+Ω)[n×2](fψ(Ωω)(n))∼ψ(Ωω+Ω2×2)fψ(Ωω[n]+Ω)n(fψ(Ωω)(n))∼ψ(Ωω+Ω2×Ω)fψ(Ωω[n]+Ω2)n(fψ(Ωω)(n))∼ψ(Ωω+Ω22×Ω)fψ(Ωω[n]+ψ1(0))n(fψ(Ωω)(n))∼ψ(Ωω+ψ2(Ω))fψ(Ωω[n]+ψ1(Ωω[n]))(fψ(Ωω)(n))∼ψ(Ωω+ψ2(Ωω))fψ(Ωω[n]+ψ2(Ωω[n]))(fψ(Ωω)(n))∼ψ(Ωω+ψ3(Ωω))fψ(Ωω[n]×2)(fψ(Ωω)(n))∼ψ(Ωω×2)fψ(Ωω[n]×3)(fψ(Ωω)(n))∼ψ(Ωω×3)fψ(Ωω[n]×ω)n(fψ(Ωω)(n))∼ψ(Ωω×Ω)fψ(Ωω[n]×ψ(0))n(fψ(Ωω)(n))∼ψ(Ωω×ψ1(Ω))fψ(Ωω[n]×ψ(Ωω[n]))(fψ(Ωω)(n))∼ψ(Ωω×ψ1(Ωω))fψ(Ωω[n]×ψ1(Ωω[n]))(fψ(Ωω)(n))∼ψ(Ωω×ψ2(Ωω))fψ(Ωω[n]2)(fψ(Ωω)(n))∼ψ(Ωω2)fψ(Ωω[n]Ωω[n])(fψ(Ωω)(n))∼ψ(ΩωΩω)fψ(ψn(0))(fψ(Ωω)(n))∼ψ(ψω(0))fψ(Ωω)[n+1](fψ(Ωω)(n))∼ψ(Ωω+1)fψ(Ωω)[n+2](fψ(Ωω)(n))∼ψ(Ωω+2)fψ(Ωω)[n×2](fψ(Ωω)(n))∼ψ(Ωω×2)fψ(Ωω)2(n)∼ψ(Ωψ(Ωω))fψ(Ωω)[fψ(Ωω)(n)+1](fψ(Ωω)2(n))∼ψ(Ωψ(Ωω)+1)fψ(Ωω)3(n)∼ψ(Ωψ(Ωψ(Ωω)))fψ(Ωω)+1(n)∼ψ(ΩΩ)
.fψ(Ωω)[n](fψ(Ωω)+1(n))∼ψ(ΩΩ+ψ1(Ωω))fψ(Ωω)(fψ(Ωω)+1(n))∼ψ(ΩΩ+ψ1(Ωψ(ΩΩ)))fψ(Ωω)n(fψ(Ωω)+1(n))∼ψ(ΩΩ+ψ1(ΩΩ))fψ(Ωω)n×2(fψ(Ωω)+1(n))∼ψ(ΩΩ+ψ1(ΩΩ)×2)fψ(Ωω)+12(n)∼ψ(ΩΩ+ψ1(ΩΩ)×ψ(ΩΩ))fψ(Ωω)+2(n)∼ψ(ΩΩ+ψ1(ΩΩ)×Ω)fψ(Ωω)+ω(n)∼ψ(ΩΩ+ψ1(ΩΩ)×Ωω)fψ(Ωω)+ω+1(n)∼ψ(ΩΩ+ψ1(ΩΩ)×ΩΩ)fψ(Ωω)+ψ(0)+1(n)∼ψ(ΩΩ+ψ1(ΩΩ)×ψ1(Ω))fψ(Ωω)×2(n)∼ψ(ΩΩ+ψ1(ΩΩ)×ψ1(Ωω))fψ(Ωω)×2+1(n)∼ψ(ΩΩ+ψ1(ΩΩ)2)fψ(Ωω)×2+2(n)∼ψ(ΩΩ+ψ1(ΩΩ)2×Ω)fψ(Ωω)×3+1(n)∼ψ(ΩΩ+ψ1(ΩΩ)3)fψ(Ωω)×ω+1(n)∼ψ(ΩΩ+ψ1(ΩΩ)Ω)fψ(Ωω)2+1(n)∼ψ(ΩΩ+ψ1(ΩΩ)ψ1(ΩΩ))fψ(Ωω+1)(n)∼ψ(ΩΩ+ψ1(ΩΩ+1))fψ(Ωω+ψ(Ωω))(n)∼ψ(ΩΩ+ψ1(ΩΩ+ψ1(Ωω)))fψ(Ωω+ψ(Ωω))+1(n)∼ψ(ΩΩ+ψ1(ΩΩ+ψ1(ΩΩ)))fψ(Ωω+Ω)(n)∼ψ(ΩΩ+Ω2)fψ(Ωω×2)(n)∼ψ(ΩΩ+Ωω)fψ(Ωω×2)+1(n)∼ψ(ΩΩ×2)fψ(Ωω×3)+1(n)∼ψ(ΩΩ×3)fψ(Ωω×ω)+1(n)∼ψ(ΩΩ×Ω)fψ(Ωω×ψ(Ωω))+1(n)∼ψ(ΩΩ×ψ1(ΩΩ))fψ(Ωω×Ω)(n)∼ψ(ΩΩ×Ω2)fψ(Ωω×Ω2)(n)∼ψ(ΩΩ×Ω3)fψ(Ωω×Ω3)(n)∼ψ(ΩΩ×Ω4)fψ(Ωω2)(n)∼ψ(ΩΩ×Ωω)fψ(Ωω2)+1(n)∼ψ(ΩΩ2)fψ(Ωω3)+1(n)∼ψ(ΩΩ3)fψ(Ωωω)+1(n)∼ψ(ΩΩΩ)fψ(ΩωΩ)+1(n)∼ψ(ΩΩΩ2)fψ(ΩωΩω)+1(n)∼ψ(ΩΩΩΩ)fψ(ψω(0))(n)∼ψ(ψΩ(0))fψ(Ωω+1)(n)∼ψ(ΩΩ+1)fψ(Ωω+2)(n)∼ψ(ΩΩ+2)fψ(Ωω×2)(n)∼ψ(ΩΩ+ω)fψ(Ωω×2)+1(n)∼ψ(ΩΩ×2)fψ(Ωω×3)+1(n)∼ψ(ΩΩ×3)fψ(Ωω2)+1(n)∼ψ(ΩΩ2)fψ(Ωωω)+1(n)∼ψ(ΩΩΩ)fψ(Ωωωω)+1(n)∼ψ(ΩΩΩΩ)fψ(Ωψ(0))+1(n)∼ψ(Ωψ1(Ω))fψ(Ωψ(1))(n)∼ψ(Ωψ1(Ω+1))fψ(Ωψ(1))+1(n)∼ψ(Ωψ1(Ω+1)×Ω)fψ(Ωψ(ω))+1(n)∼ψ(Ωψ1(Ω×2))fψ(Ωψ(Ω))(n)∼ψ(Ωψ1(Ω2))fψ(Ωψ(Ω))+1(n)∼ψ(Ωψ1(Ω2×Ω))fψ(Ωψ(Ω2))(n)∼ψ(Ωψ1(Ω3))fψ(Ωψ(Ωω))(n)∼ψ(Ωψ1(Ωω))fψ(Ωψ(Ωω))+1(n)∼ψ(Ωψ1(ΩΩ))fψ(Ωψ(Ωωω))+1(n)∼ψ(Ωψ1(ΩΩΩ))fψ(Ωψ(Ωψ(0)))+1(n)∼ψ(Ωψ1(Ωψ1(Ω)))fψ(ΩΩ)(n)∼ψ(ΩΩ2)fψ(ΩΩ2)(n)∼ψ(ΩΩ3)fψ(ΩΩ3)(n)∼ψ(ΩΩ4)fψ(ΩΩω)(n)∼ψ(ΩΩω)C(1)=ψ(ΩΩω)fψ(ΩΩω)+1(n)∼ψ(ΩΩΩ)fψ(ΩΩω)+2(n)∼ψ(ΩΩΩ×Ω)fψ(ΩΩω)×2+1(n)∼ψ(ΩΩΩ×ψ1(ΩΩΩ))fψ(ΩΩω×Ω)(n)∼ψ(ΩΩΩ×Ω2)fψ(ΩΩω×Ωω)+1(n)∼ψ(ΩΩΩ×ΩΩ)fψ(ΩΩω+1)(n)∼ψ(ΩΩΩ+1)fψ(Ωψω(0))(n)∼ψ(ΩψΩ(0))fψ(ΩΩω+1)(n)∼ψ(ΩΩΩ+1)fψ(ΩΩψ(0))(n)∼ψ(ΩΩψ1(0))fψ(ΩΩΩ)(n)∼ψ(ΩΩΩ2)fψ(ΩΩΩω)(n)∼ψ(ΩΩΩω)C(2)=ψ(ΩΩΩω)C(3)=ψ(ΩΩΩΩω)C(ω)=ψ(ψI(0))