1=1（废话）
[0]=1+…+1=w
[1]=w^2
[[0]]=w^w
[[1,0]]=[…[0]…]=e0
[[1,[1,0]]]=z0
[[2,0]]=[[1,[1,[…]]]]=BHO
[[0],0]=BO
[[1,0],0]=p(W_W)
[1,0,x]=[x,0]
[[1,1,0]]=[[[[…],0],0],0]=EBO
[[1,2,0]]=p(W_(I+1))
[[2,1,0]]=p(I_2)
[[[0],1,0]]=p(I_w)
[[1,0,1,0]]=p(I(1,0))
[[1,0,0,1,0]]=p(I(2,0))
[[1,…,0,1,0]]=p(I(w,0))
然后下一阶括号也作类似修改。
[[<0>]]=p(I(w,0))
[[<1>]]=p(I(w^2,0))
[[<1,0>]]=[[<[<[…0…]>]>]]=p(I(1,0,0))
[[<2,0>]]=SRO
先写到这