先来定义一个函数
这是最先开始的
(左我的记号，中间是大概数值(有时可能没有)，右FGH(ε_0＝ψ(Ω)之前用BOCF分析))
f(n)＝n＋1＝f_0(n)
f(n,1)＝f(…f(n)…)＝2n＝f_1(n)
f(n,2)＝f(…f(n,1)…,1)＝2^n·n＝f_2(n)
f(n,3)＝f(…f(n,2)…,2)＝2^(…)·…＝f_3(n)
举例:(从里面展开)
f(3)＝3＋1＝4
f(3,1)＝2×3＝6
f(3,2)＝2^3×3=24
f(3,3)＝f(f(f(3,2),2),2)＝f(f(24,2),2)＝f(402653184,2)＝2^402653184×402653184(非常非常大的数字，吊打古戈尔什么之类的)＜g(1)

@古者 @bugvz @rationalman @紫然茗 @增量游戏君 来看看

加油吧

f(n,0,1)＝f(n,n)＝f_ω(n)(注意这里和FGH一样对角化)
f(n,1,1)＝f(…f(n,0,1)…,0,1)＝f_ω＋1(n)
f(1,1,1)＞G(1)
f(2,1,1)＞G(2)
f(3,1,1)＞G(3)
f(64,1,1)＞G(64)(葛立恒数已经被薄纱)
f(f(64,1,1),1,1)＞G(G(64))
f(n,2,1)＝f(…f(n,1,1)…,1,1)＝f_ω＋2(n)
f(64,2,1)＞G(G(…G(64)…))(64个G)
f(f(64,1,1),2,1)＞G(G(…G(64)…))(G(64)个G)
f(f(64,2,1),2,1)＞G(G(…G(64)…))(G(G(…G(64)…))(64个G))个G)
f(f(f(64,1,1),2,1),2,1)＞＞G(G(…G(64)…))(G(G(…G(64)…))(G(64)个G))个G)
f(n,3,1)＝f(…f(n,2,1)…,2,1)＝f_ω＋3(n)
f(64,3,1)＞G(64)共有64层葛立恒数塔
f(f(64,1,1),3,1)＞G(64)共有G(64)层葛立恒数塔
f(f(64,2,1),3,1)＞G(64)共有G(…G(64)…)(64个G)层葛立恒数塔
f(f(f(64,1,1),2,1),3,1)＞G(64)共有G(…G(64)…)(G(64)个G)层葛立恒数塔
f(f(64,3,1),3,1)＞G(64)共有(G(64)共有64层葛立恒数塔)层葛立恒数塔
以此类推，已经用语言文字很难描述清楚了，甚至可能还要说到论战去。二次葛立恒数塔，三次葛立恒数塔，无限次方葛立恒数塔，…???

f(n,n,1)＝f(n,0,2)＝f_ω2(n)(这里和FGH一样对角化，以后就不说了)(注意分清哪个是哪个，分清自变量和增长率)
f(n,1,2)＝f_ω2＋1(n)(大概是三个括号BEAF?)
f(n,2,2)＝f_ω2＋2(n)
f(n,0,3)＝f_ω3(n)
f(n,1,3)＝f_ω3＋1(n)
f(n,0,0,1)＝f_ω^2(n)(四行BEAF)
f(n,1,0,1)＝f_ω^2＋1(n)(四行BEAF选代大括号)
f(n,2,0,1)＝f_ω^2＋2(n)
f(n,0,1,1)＝f_ω^2＋ω(n)
f(n,1,1,1)＝f_ω^2＋ω＋1(n)
f(n,0,2,1)＝f_ω^2＋ω2(n)
f(n,0,0,2)＝f_ω^2·2(n)
f(n,1,0,2)＝f_ω^2·2＋1(n)
f(n,0,1,2)＝f_ω^2·2＋ω(n)
f(n,1,1,2)＝f_ω^2·2＋ω＋1(n)
f(n,0,2,2)＝f_ω^2·2＋ω2(n)
f(n,0,0,3)＝f_ω^2·3(n)
f(n,0,0,0,1)＝f_ω^3(n)(五行BEAF)
f(n,1,0,0,1)＝f_ω^3＋1(n)
f(n,0,1,0,1)＝f_ω^3＋ω(n)
f(n,0,0,1,1)＝f_ω^3＋ω^2(n)
f(n,0,0,0,2)＝f_ω^3·2(n)
f(n,0,0,0,0,1)＝f_ω^4(n)(6行BEAF)
f(n(1)1)＝f(n,0,0,…,1)(n＋1个,)＝f_ω^ω(n)(单行BEAF极限，无限行BEAF)

今天的目标是到ψ(Ω^ω)＝φ(ω,0),也是BOCF和MOCF的第一个交点

f(n,1(1)1)＝f_ω^ω＋1(n)
f(n,0,1(1)1)＝f_ω^ω＋ω(n)
f(n,1,1(1)1)＝f_ω^ω＋ω＋1(n)
f(n,0,2(1)1)＝f_ω^ω＋ω2(n)
f(n,1,2(1)1)＝f_ω^ω＋ω2＋1(n)
f(n,0,3(1)1)＝f_ω^ω＋ω3(n)
f(n,0,0,1(1)1)＝f_ω^ω＋ω^2(n)
f(n,1,0,1(1)1)＝f_ω^ω＋ω^2＋1(n)
f(n,0,1,1(1)1)＝f_ω^ω＋ω^2＋ω(n)
f(n,1,1,1(1)1)＝f_ω^ω＋ω^2＋ω＋1(n)
f(n,0,2,1(1)1)＝f_ω^ω＋ω^2＋ω2(n)
f(n,0,0,2(1)1)＝f_ω^ω＋ω^2·2(n)
f(n,0,0,0,1(1)1)＝f_ω^ω＋ω^3(n)
f(n,1,1,1,1(1)1)＝f_ω^ω＋ω^3＋ω^2＋ω＋1(n)
f(n,0,0,0,2(1)1)＝f_ω^ω＋ω^3·2(n)
f(n,0,0,0,0,1(1)1)＝f_ω^ω＋ω^4(n)
f(n(1)2)＝f(n,0,…(1)1)(n＋1个,)＝f_ω^ω·2(n)
f(n,1(1)2)＝f_ω^ω·2＋1(n)
f(n,0,1(1)2)＝f_ω^ω·2＋ω(n)
f(n,0,0,1(1)2)＝f_ω^ω·2＋ω^2(n)
f(n(1)3)＝f_ω^ω·3(n)
f(n(1)0,1)＝f_ω^(ω＋1)(n)
f(n,0,1(1)1,1)＝f_ω^(ω＋1)＋ω(n)
f(n(1)1,1)＝f_ω^(ω＋1)＋ω^ω(n)
f(n(1)2,1)＝f_ω^(ω＋1)＋ω^ω·2(n)
f(n(1)0,2)＝f_ω^(ω＋1)·2(n)
f(n(1)1,2)＝f_ω^(ω＋1)·2＋ω^ω(n)
f(n(1)0,3)＝f_ω^(ω＋1)·3(n)
f(n(1)0,0,1)＝f_ω^(ω＋2)(n)
f(n(1)0(1)1)＝f_ω^(ω2)(n)
(注意这里跳的比较快)
f(n(1)1(1)1)＝f_ω^(ω2)＋ω^ω(n)
f(n(1)0,1(1)1)＝f_ω^(ω2)＋ω^(ω＋1)(n)
f(n(1)0(1)2)＝f_ω^(ω2)·2(n)
f(n(1)0(1)0,1)＝f_ω^(ω2＋1)(n)
f(n(1)0(1)0,0,1)＝f_ω^(ω2＋2)(n)
f(n(1)0(1)0(1)1)＝f_ω^(ω3)(n)
f(n(2)1)＝f_ω^(ω^2)(n)(二维分隔符BEFA，其实以后的分隔符等级和BEAF大差不差)

f(n,1(2)1)＝f_ω^(ω^2)＋1(n)
f(n,0,1(2)1)＝f_ω^(ω^2)＋ω(n)
f(n,0,0,1(2)1)＝f_ω^(ω^2)＋ω^2(n)
f(n(1)1(2)1)＝f_ω^(ω^2)＋ω^ω(n)
f(n(1)0,1(2)1)＝f_ω^(ω^2)＋ω^(ω＋1)(n)
f(n(1)0(1)1(2)1)＝f_ω^(ω^2)＋ω^(ω2)(n)
f(n(2)2)＝f_ω^(ω^2)·2(n)
f(n(2)0,1)＝f_ω^(ω^2＋1)(n)
f(n(2)0(1)1)＝f_ω^(ω^2＋ω)(n)
f(n(2)1(1)1)＝f_ω^(ω^2＋ω)＋ω^(ω^2)(n)
f(n(2)0(1)2)＝f_ω^(ω^2＋ω)·2(n)
f(n(2)0(1)0,1)＝f_ω^(ω^2＋ω＋1)(n)
f(n(2)0(1)0(1)1)＝f_ω^(ω^2＋ω2)(n)
f(n(2)0(2)1)＝f_ω^(ω^2·2)(n)
f(n(3)1)＝f_ω^(ω^3)(n)(三级分隔符BEAF)

暂时先写到这吧

f(n,1(3)1)＝f_ω^(ω^3)＋1(n)
f(n,0,1(3)1)＝f_ω^(ω^3)＋ω(n)
f(n(1)1(3)1)＝f_ω^(ω^3)＋ω^ω(n)
f(n,0,1(1)1(3)1)＝f_ω^(ω^3)＋ω^ω＋ω(n)
f(n(1)2(3)1)＝f_ω^(ω^3)＋ω^ω·2(n)
f(n(1)0,1(3)1)＝f_ω^(ω^3)＋ω^(ω＋1)(n)
f(n(1)0(1)1(3)1)＝f_ω^(ω^3)＋ω^(ω2)(n)
f(n(2)1(3)1)＝f_ω^(ω^3)＋ω^(ω^2)(n)
f(n(2)0(2)1(3)1)＝f_ω^(ω^3)＋ω^(ω^2·2)(n)
f(n(3)2)＝f_ω^(ω^3)·2(n)
f(n(3)0,1)＝f_ω^(ω^3＋1)(n)
f(n(3)0(1)1)＝f_ω^(ω^3＋ω)(n)
f(n(3)0(2)1)＝f_ω^(ω^3＋ω^2)(n)
f(n(3)0(3)1)＝f_ω^(ω^3·2)(n)
f(n(4)1)＝f_ω^(ω^4)(n)(四级分隔符BEAF)
…
f(n(0,1)1)＝f_ω^(ω^ω)(n)(n级分隔符BEAF)
f(n,0,1(0,1)1)＝f_ω^(ω^ω)＋ω(n)
f(n(1)1(0,1)1)＝f_ω^(ω^ω)＋ω^ω(n)
f(n(2)1(0,1)1)＝f_ω^(ω^ω)＋ω^(ω^2)(n)
f(n(0,1)2)＝f_ω^(ω^ω)·2(n)
f(n(0,1)0,1)＝f_ω^(ω^ω＋1)(n)
f(n(0,1)0(1)1)＝f_ω^(ω^ω＋ω)(n)
f(n(0,1)0(0,1)1)＝f_ω^(ω^ω·2)(n)
f(n(1,1)1)＝f_ω^(ω^(ω＋1))(n)
f(n(0,2)1)＝f_ω^(ω^(ω2))(n)
f(n(0,0,1)1)＝f_ω^(ω^(ω^2))(n)
f(n(0(1)1)1)＝f_ω^(ω^(ω^ω))(n)
f(n(0,1(1)1)1)＝f_ω^(ω^(ω^ω＋ω))(n)
f(n(0(1)2)1)＝f_ω^(ω^(ω^ω·2))(n)
f(n(0(1)0,1)1)＝f_ω^(ω^(ω^(ω＋1)))(n)
f(n(0(1)0(1)1)1)＝f_ω^(ω^(ω^(ω2)))(n)
f(n(0(2)1)1)＝f_ω^(ω^(ω^(ω^2)))(n)
f(n(0(0,1)1)1)＝f_ω^(ω^(ω^(ω^ω)))(n)
f(n(0(0(…)1)1)1)＝f_ω^(ω^(^ω^(…)))(n)＝f_ε_0(n)＝f_ψ(Ω)(n)，进入BOCF阶段

f(n(0/1)1)＝f(n(0(…)1)1)＝f_ψ(Ω)(n)
f(n,1(0/1)1)＝f_ψ(Ω)＋1(n)
f(n,0,1(0/1)1)＝f_ψ(Ω)＋ω(n)
f(n(1)1(0/1)1)＝f_ψ(Ω)＋ω^ω(n)
f(n(1)0(1)1(0/1)1)＝f_ψ(Ω)＋ω^(ω2)(n)
f(n(2)1(0/1)1)＝f_ψ(Ω)＋ω^(ω^2)(n)
f(n(0,1)1(0/1)1)＝f_ψ(Ω)＋ω^(ω^ω)(n)
f(n(0(1)1)1(0/1)1)＝f_ψ(Ω)＋ω^(ω^(ω^ω))(n)
f(n(0/1)2)＝f_ψ(Ω)2(n)
f(n(1)1(0/1)2)＝f_ψ(Ω)2＋ω^ω(n)
f(n(0,1)1(0/1)2)＝f_ψ(Ω)＋ω^(ω^ω)(n)
f(n(0/1)3)＝f_ψ(Ω)3(n)
f(n(0/1)0,1)＝f_ψ(Ω＋1)(n)＝f_ε_0·ω(n)
f(n(0/1)1,1)
＝f_ψ(Ω＋1)＋ψ(Ω)(n)
＝f_ε_0·(ω＋1)(n)
f(n(0/1)0,2)
＝f_ψ(Ω＋1)2(n)
＝f_ε_0·(ω2)(n)
f(n(0/1)0,0,1)
＝f_ψ(Ω＋2)(n)
＝f_ε_0·(ω^2)(n)
f(n(0/1)0(1)1)
＝f_ψ(Ω＋ω)(n)
＝f_ε_0·(ω^ω)(n)
f(n(0/1)0(0,1)1)
＝f_ψ(Ω＋ω^ω)(n)
＝f_ε_0·(ω^(ω^ω))(n)
f(n(0/1)0(0/1)1)
＝f_ψ(Ω＋ψ(Ω))(n)
＝f_ε_0^2(n)
f(n(0/1)1(0/1)1)
＝f_ψ(Ω＋ψ(Ω))＋ψ(Ω)(n)
＝f_ε_0^2＋ε_0(n)
f(n(0/1)0(0/1)2)
＝f_ψ(Ω＋ψ(Ω))2(n)
＝f_ε_0^2·2(n)
f(n(0/1)0(0/1)0,1)
＝f_ψ(Ω＋ψ(Ω)＋1)(n)
＝f_ε_0^2·ω(n)
f(n(0/1)0(0/1)0(1)1)
＝f_ψ(Ω＋ψ(Ω)＋ω)(n)
＝f_ε_0^2·(ω^ω)(n)
f(n(0/1)0(0/1)0(0,1)1)
＝f_ψ(Ω＋ψ(Ω)＋ω^ω)(n)
＝f_ε_0^2·(ω^(ω^ω))(n)
f(n(0/1)0(0/1)0(0/1)1)
＝f_ψ(Ω＋ψ(Ω)2)(n)
＝f_ε_0^3(n)
f(n(0/1)0(0/1)0(0/1)0,1)
＝f_ψ(Ω＋ψ(Ω)2＋1)(n)
＝f_ε_0^3·ω(n)
f(n(0/1)0(0/1)0(0/1)0(0/1)1)
＝f_ψ(Ω＋ψ(Ω)3)(n)
＝f_ε_0^4(n)
f(n(1/1)1)
＝f_ψ(Ω＋ψ(Ω＋1))(n)
＝f_ε_0^ω(n)

f(n(1)1(1/1)1)
＝f_ψ(Ω＋ψ(Ω＋1))(n)
＝f_ε_0^ω＋ω^ω(n)
f(n(0/1)1(1/1)1)
＝f_ψ(Ω＋ψ(Ω＋1))＋ψ(Ω)(n)
＝f_ε_0^ω＋ε_0(n)
f(n(0/1)2(1/1)1)
＝f_ψ(Ω＋ψ(Ω＋1))＋ψ(Ω)2(n)
＝f_ε_0^ω＋ε_0·2(n)
f(n(0/1)0,1(1/1)1)
＝f_ψ(Ω＋ψ(Ω＋1))＋ψ(Ω＋1)(n)
＝f_ε_0^ω＋ε_0·ω(n)
f(n(0/1)0(1)1(1/1)1)
＝f_ψ(Ω＋ψ(Ω＋1))＋ψ(Ω＋ω)(n)
＝f_ε_0^ω＋ε_0·(ω^ω)(n)
f(n(0/1)0(0/1)1(1/1)1)
＝f_ψ(Ω＋ψ(Ω＋1))＋ψ(Ω＋ψ(Ω))(n)
＝f_ε_0^ω＋ε_0^2(n)
f(n(0/1)0(0/1)2(1/1)1)
＝f_ψ(Ω＋ψ(Ω＋1))＋ψ(Ω＋ψ(Ω))2(n)
＝f_ε_0^ω＋ε_0^2·2(n)
f(n(0/1)0(0/1)0(0/1)1(1/1)1)
＝f_ψ(Ω＋ψ(Ω＋1))＋ψ(Ω＋ψ(Ω)2)(n)
＝f_ε_0^ω＋ε_0^3(n)
f(n(1/1)2)
＝f_ψ(Ω＋ψ(Ω＋1))2(n)
＝f_ε_0^ω·2(n)
f(n(1/1)0,1)
＝f_ψ(Ω＋ψ(Ω＋1)＋1)(n)
＝f_ε_0^ω·ω(n)
f(n(1/1)0(0/1)1)
＝f_ψ(Ω＋ψ(Ω＋1)＋ψ(Ω))(n)
＝f_ε_0^(ω＋1)(n)
f(n(1/1)0(0/1)0(0/1)1)
＝f_ψ(Ω＋ψ(Ω＋1)＋ψ(Ω)2)(n)
＝f_ε_0^(ω＋2)(n)
f(n(1/1)0(1/1)1)
＝f_ψ(Ω＋ψ(Ω＋1)2)(n)
＝f_ε_0^(ω2)(n)
f(n(1/1)0(1/1)0(1/1)1)
＝f_ψ(Ω＋ψ(Ω＋1)3)(n)
＝f_ε_0^(ω3)(n)
f(n(2/1)1)
＝f_ψ(Ω＋ψ(Ω＋2))(n)
＝f_ε_0^(ω^2)(n)

接下来我就不写详细过程了，如果存疑就及时问我
f(n(0,1/1)1)
＝f_ψ(Ω＋ψ(Ω＋ω))(n)
＝f_ε_0^(ω^ω)(n)
f(n(0(0/1)1/1)1)
＝f_ψ(Ω＋ψ(Ω＋ψ(Ω)))(n)
＝f_ε_0^ε_0(n)
f(n(0(1/1)1/1)1)
＝f_ψ(Ω＋ψ(Ω＋ψ(Ω＋ψ(Ω＋1))))(n)
＝f_ε_0^(ε_0^ω)(n)
f(n(0/2)1)
＝f_ψ(Ω2)(n)
＝f_ε_1(n)
f(n(1/2)1)
＝f_ψ(Ω2＋ψ(Ω2＋1))(n)
＝f_ε_1^ω(n)
f(n(0(0/1)1/2)1)
＝f_ψ(Ω2＋ψ(Ω2＋ψ(Ω)))(n)
＝f_ε_1^ε_0(n)
f(n(0(0/2)1/2)1)
＝f_ψ(Ω2＋ψ(Ω2＋ψ(Ω2)))(n)
＝f_ε_1^ε_1(n)
f(n(0/3)1)
＝f_ψ(Ω3)(n)
＝f_ε_2(n)
f(n(0/0,1)1)
＝f_ψ(Ωω)(n)
＝f_ε_ω(n)
f(n(0/0(1)1)1)
＝f_ψ(Ωω^ω)(n)
＝f_ε_ω^ω(n)
f(n(0/0(0/1)1)1)
＝f_ψ(Ωψ(Ω))(n)
＝f_ε_ε_0(n)
f(n(0/0(0/0(0/1)1)1)1)
＝f_ψ(Ωψ(Ωψ(Ω)))(n)
＝f_ε_ε_ε0(n)
f(n(0/0/1)1)
＝f_ψ(Ω^2)(n)
＝f_ζ_0(n)

f(n(1/0/1)1)
＝f_ψ(Ω^2＋ψ(Ω^2＋1))(n)
＝f_ζ_0^ω(n)
f(n(0(0/0/1)1/0/1)1)
＝f_ψ(Ω^2＋ψ(Ω^2＋ψ(Ω^2)))(n)
＝f_ζ_0^ζ_0(n)
f(n(0/1/1)1)
＝f_ψ(Ω^2＋Ω)(n)
＝f_ε_ζ_0＋1(n)
f(n(0/0(0/0/1)1/1)1)
＝f_ψ(Ω^2＋Ωψ(Ω^2))(n)
＝f_ε_ζ_02(n)
f(n(0/0(0/1/1)1/1)1)
＝f_ψ(Ω^2＋Ωψ(Ω^2＋Ω))(n)
＝f_ε_ε_ζ_0＋1(n)
f(n(0/0/2)1)
＝f_ψ(Ω^2·2)(n)
＝f_ζ_1(n)
f(n(0/0/0(0/0/1)1)1)
＝f_ψ(Ω^2ψ(Ω^2))(n)
＝f_ζ_ζ_0(n)
f(n(0/0/0/1)1)
＝f_ψ(Ω^3)(n)
＝f_η_0(n)
f(n(1/0/0/1)1)
＝f_ψ(Ω^3＋ψ(Ω^3＋1))(n)
＝f_η_0^ω(n)
f(n(0(0/0/0/1)1/0/0/1)1)
＝f_ψ(Ω^3＋ψ(Ω^3＋ψ(Ω^3)))(n)
＝f_η_0^η_0(n)
f(n(0/1/0/1)1)
＝f_ψ(Ω^3＋Ω)(n)
＝f_ε_η_0＋1(n)
f(n(0/0/1/1)1)
＝f_ψ(Ω^3＋Ω^2)(n)
＝f_ζ_η_0＋1(n)
f(n(0/0/0/2)1)
＝f_ψ(Ω^3·2)(n)
＝f_η_1(n)
f(n(0/0/0/0(0/0/0/1)1)1)
＝f_ψ(Ω^3ψ(Ω^3))(n)
＝f_η_η_0(n)
f(n(0/0/0/0/1)1)
＝f_ψ(Ω^4)(n)
＝f_φ(4,0)(n)
第一个提升
使用[]分隔符表示\的数量，等级
f(n(0[1]1)1)＝f_ψ(Ω^ω)(n)＝f_φ(ω,0)(n)