查看“︁UPMS VS 投影OCF”︁的源代码

本词条展示了[[UPMS]]和[[投影序数|投影]][[序数坍缩函数|OCF]]的列表分析。本分析来自test_alpha0。

{| class="wikitable"
|UPMS
|投影OCF
|-
|0 111
|p(W_w)
|-
|0 111 21
|p(W_wW)
|-
|0 111 21 11 221
|p(W_wW+pW_2(W_w))
|-
|0 111 21 11 221 31
|p(W_wW+pW_2(W_wW))
|-
|0 111 21 11 221 31 22
|p(W_wW+W_2)
|-
|0 111 21 111
|p(W_wW+W_w)
|-
|0 111 21 32
|p(W_wpW_2(W_2))
|-
|0 111 21 321
|p(W_wpW_2(W_w))
|-
|0 111 211
|p(W_w^2)
|-
|0 111 211 211
|p(W_w^3)
|-
|0 111 211 31
|p(W_w^W)
|-
|0 111 211 311
|p(W_w^W_w)
|-
|0 111 22
|p(W[w+1])
|-
|0 111 22 111 22
|p(W[w+1]+pW[w+1](W[w+1]))
|-
|0 111 22 211 32
|p(W[w+1]+pW[w+1](W[w+1])^2)
|-
|0 111 22 22
|p(W[w+1]2)
|-
|0 111 22 32
|p(W[w+1]^2)
|-
|0 111 22 33
|p(W[w+2])
|-
|0 111 22 331
|p(W[w2])
|-
|0 111 221
|p(W[w^2])
|-
|0 111 221 111 22
|p(W[w^2]+pW[w+1](W[w+1]))
|-
|0 111 221 111 22 331 441
|p(W[w^2]+pW[w+1](W[w^2]))
|-
|0 111 221 111 22 331 441 22
|p(W[w^2]+W[w+1])
|-
|0 111 221 111 22 331 441 3
|p(W[w^2]+pW[w+2](W[w^2]+1))
|-
|0 111 221 111 22 331 441 32
|p(W[w^2]+pW[w+2](W[w^2]+W[w+1]))
|-
|0 111 221 111 22 331 441 33
|p(W[w^2]+W[w+2])
|-
|0 111 221 111 22 331 441 331
|p(W[w^2]+W[w2])
|-
|0 111 221 111 22 331 441 331 44
|p(W[w^2]+pW[w2+1](W[w2+1]))
|-
|0 111 221 111 22 331 441 331 44 551 661 44
|p(W[w^2]+W[w2+1])
|-
|0 111 221 111 221
|p(W[w^2]2)
|-
|0 111 221 211
|p(W[w^2]W_w)
|-
|0 111 221 211 111 22 331 441 411
|p(W[w^2]W_w+pW[w+1](W[w^2]W_w))
|-
|0 111 221 211 111 22 331 441 411 22
|p(W[w^2]+W[w+1])
|-
|0 111 221 211 111 221
|p(W[w^2]W_w+W[w^2])
|-
|0 111 221 211 321
|p(W[w^2]^2)
|-
|0 111 221 211 321 111 22 331 441 431
|p(W[w^2]^2+pW[w+1](W[w^2]W[w2]))
|-
|0 111 221 211 321 111 22 331 441 431 541
|p(W[w^2]^2+pW[w+1](W[w^2]^2))
|-
|0 111 221 211 321 111 221
|p(W[w^2]^2+W[w^2])
|-
|0 111 221 22
|p(W[w^2+1])
|-
|0 111 221 22 331
|p(W[w^2+w])
|-
|0 111 221 22 331 441
|p(W[w^2*2])
|-
|0 111 221 221
|p(W[w^3])
|-
|0 111 221 311
|p(W[W_w])
|-
|0 111 221 311 421
|p(W[W[w^2]])
|-
|0 111 221 32
|p(pa(W[a+1]a))
|-
|0 111 221 32 22
|p(pa(W[a+1]a+W[a+1]))
|-
|0 111 221 32 22 331 441
|p(pa(W[a+1]a+W[a+1]w^2))
|-
|0 111 221 32 22 331 441 511 621 72
|p(pa(W[a+1]a+W[a+1]pa(W[a+1]a)))
|-
|0 111 221 32 22 331 441 511 621 72 62
|p(pa(W[a+1]a+W[a+1]pa(W[a+1]a+a)))
|-
|0 111 221 32 22 331 441 511 621 72 62 731 841 911
|p(pa(W[a+1]a+W[a+1]ppa(W[a+1]a+W[a+1])(pa(W[a+1]a+W[a+1]W_w)))
|-
|0 111 221 32 22 331 441 52
|p(pa(W[a+1]a+W[a+1]pa(W[a+1]a+W[a+1])))
|-
|0 111 221 32 22 331 441 52 631 741 82
|p(pa(W[a+1]a+W[a+1]ppa(W[a+1]a+W[a+1]2)(pa(W[a+1]a+W[a+1]pa(W[a+1]a+W[a+1])))))
|-
|0 111 221 32 22 331 441 53
|p(pa(W[a+1]a+W[a+1]pa(W[a+1]a+W[a+1]2)))
|-
|0 111 221 32 22 331 441 531 641
|p(pa(W[a+1]a+W[a+1]pa(W[a+1]a+W[a+1]w^2)))
|-
|0 111 221 32 22 331 441 531 641 73
|p(pa(W[a+1]a+W[a+1]pa(W[a+1]a+W[a+1]pa(W[a+1]a+W[a+1]2))))
|-
|0 111 221 32 22 331 441 531 641 731 841
|p(pa(W[a+1]a+W[a+1]pa(W[a+1]a+W[a+1]pa(W[a+1]a+W[a+1]w^2))))
|-
|0 111 221 32 22 331 441 54
|p(pa(W[a+1]a2))
|-
|0 111 221 32 22 331 441 54 44
|p(pa(W[a+1]a2+W[a+1]))
|-
|0 111 221 32 22 331 441 54 44 551 661 76
|p(pa(W[a+1]a3))
|-
|0 111 221 32 221
|p(pa(W[a+1]aw))
|-
|0 111 221 32 221 22 331 441 54
|p(pa(W[a+1]aw+W[a+1]a))
|-
|0 111 221 32 221 22 331 441 54 441
|p(pa(W[a+1]aw2))
|-
|0 111 221 32 221 221
|p(pa(W[a+1]aw^2))
|-
|0 111 221 32 221 32
|p(pa(W[a+1]a^2))
|-
|0 111 221 32 3
|p(pa(W[a+1]a^w))
|-
|0 111 221 32 311
|p(pa(W[a+1]a^W_w))
|-
|0 111 221 32 32
|p(pa(W[a+1]a^a))
|-
|0 111 221 32 32 32
|p(pa(W[a+1]a^a^2))
|-
|0 111 221 32 4
|p(pa(W[a+1]a^a^w))
|-
|0 111 221 32 42
|p(pa(W[a+1]a^a^a))
|-
|0 111 221 32 43
|p(pa(W[a+1]^2+W[a+1]))
|-
|0 111 221 32 431
|p(pa(W[a+1]^2+W[a+1]w))
|-
|0 111 221 32 431 541 62
|p(pa(W[a+1]^2+W[a+1]pa(W[a+1]^2)))
|-
|0 111 221 321
|p(pa(W[a+1]^2w))
|-
|0 111 221 321 22 331 441 54
|p(pa(W[a+1]^2w+W[a+1]a))
|-
|0 111 221 321 22 331 441 54 65
|p(pa(W[a+1]^2w+W[a+1]^2+W[a+1]))
|-
|0 111 221 321 22 331 441 541
|p(pa(W[a+1]^2w2))
|-
|0 111 221 321 221
|p(pa(W[a+1]^2w^2))
|-
|0 111 221 321 221 32
|p(pa(W[a+1]^2a))
|-
|0 111 221 321 221 321
|p(pa(W[a+1]^3w))
|-
|0 111 221 321 3
|p(pa(W[a+1]^w))
|-
|0 111 221 321 32
|p(pa(W[a+1]^a))
|-
|0 111 221 321 32 3
|p(pa(W[a+1]^(aw)))
|-
|0 111 221 321 32 32
|p(pa(W[a+1]^a^2))
|-
|0 111 221 321 32 42
|p(pa(W[a+1]^a^a))
|-
|0 111 221 321 32 43
|p(pa(W[a+1]^W[a+1]+W[a+1]))
|-
|0 111 221 321 321
|p(pa(W[a+1]^W[a+1]w))
|-
|0 111 221 321 321 3
|p(pa(W[a+1]^(W[a+1]w)))
|-
|0 111 221 321 321 32
|p(pa(W[a+1]^(W[a+1]a)))
|-
|0 111 221 321 321 321
|p(pa(W[a+1]^W[a+1]^2w))
|-
|0 111 221 321 4
|p(pa(W[a+1]^W[a+1]^w))
|-
|0 111 221 321 42
|p(pa(W[a+1]^W[a+1]^a))
|-
|0 111 221 321 42 3
|p(pa(W[a+1]^(W[a+1]^aw)))
|-
|0 111 221 321 42 4
|p(pa(W[a+1]^W[a+1]^(aw)))
|-
|0 111 221 321 42 42
|p(pa(W[a+1]^W[a+1]^a^2))
|-
|0 111 221 321 42 53
|p(pa(W[a+1]^W[a+1]^W[a+1]+W[a+1]))
|-
|0 111 221 321 421
|p(pa(W[a+1]^W[a+1]^W[a+1]w))
|-
|0 111 221 321 421 4
|p(pa(W[a+1]^W[a+1]^(W[a+1]w)))
|-
|0 111 221 321 421 5
|p(pa(W[a+1]^W[a+1]^W[a+1]^w))
|-
|0 111 221 321 421 521
|p(pa(W[a+1]^W[a+1]^W[a+1]^W[a+1]w))
|-
|0 111 221 33
|p(pa(W[a+2]+W[a+1]))
|-
|0 111 221 33 321 43
|p(pa(W[a+2]+W[a+1])+pa(W[a+2]+a+pa(W[a+2]+a+pa(W[a+2]+a))))
|-
|0 111 221 33 33
|p(pa(W[a+2]+W[a+1])2)
|-
|0 111 221 33 42
|p(pa(W[a+2]+W[a+1]+a))
|-
|0 111 221 33 43
|p(pa(W[a+2]+W[a+1])^2)
|-
|0 111 221 33 44
|p(pa(W[a+2]+W[a+1]2))
|-
|0 111 221 33 441
|p(pa(W[a+2]+W[a+1]w))
|-
|0 111 221 33 441 551 66
|p(pa(W[a+2]2+W[a+1]))
|-
|0 111 221 331
|p(pa(W[a+2]w))
|-
|0 111 221 331 22 331 441 55
|p(pa(W[a+2]w+W[a+2]+W[a+1]))
|-
|0 111 221 331 221
|p(pa(W[a+2]w^2))
|-
|0 111 221 331 221 32
|p(pa(W[a+2]a))
|-
|0 111 221 331 221 321
|p(pa(W[a+2]W[a+1]w))
|-
|0 111 221 331 221 331
|p(pa(W[a+2]^2))
|-
|0 111 221 331 32
|p(pa(W[a+2]^a))
|-
|0 111 221 331 321
|p(pa(W[a+2]^W[a+1]))
|-
|0 111 221 331 321 431
|p(pa(W[a+2]^W[a+2]))
|-
|0 111 221 331 33
|p(pa(W[a+3]+W[a+1]))
|-
|0 111 221 331 331
|p(pa(W[a+3]w))
|-
|0 111 221 331 4
|p(pa(W[a+w]))
|-
|0 111 221 331 42
|p(pa(W[a2]))=p(pa(W[a_2+1]a))
|-
|0 111 221 331 42 53
|p(pa(W[a_2+1]W[a+1]+W[a+1]))
|-
|0 111 221 331 421
|p(pa(W[a_2+1]W[a+1]+pa_2(W[a_2+1]W[a+1]+1)))
|-
|0 111 221 331 421 531
|p(pa(W[a_2+1]W[a+2]+pa_2(W[a_2+1]W[a+2]+1)))
|-
|0 111 221 331 421 531 62 73
|p(pa(W[a_2+1]pa_2(W[a_2+1]W[a+1])+W[a+1]))
|-
|0 111 221 331 43
|p(pa(W[a_2+1]a_2))
|-
|0 111 221 331 431
|p(pa(W[a_2+1]^2+pa_2(W[a_2+1]^2+1)))
|-
|0 111 221 331 44
|p(pa(W[a_2+2]+W[a+1]))
|-
|0 111 221 331 441
|p(pa(W[a_2+2]+pa_2(W[a_2+2]+1)))
|-
|0 111 221 331 441 221 3
|p(pa(W[a_2+2]+pa_2(W[a_2+2]+w)))
|-
|0 111 221 331 441 33
|p(pa(W[a_2+2]+W[a_2+1]))
|-
|0 111 221 331 441 44
|p(pa(W[a_2+3]+W[a+1]))
|-
|0 111 221 331 441 55
|p(pa(W[a_3+2]+W[a+1]))
|-
|0 111 222
|p(pa(a_w))
|-
|0 111 222 22
|p(pa(a_w+a))
|-
|0 111 222 22 331 442
|p(pa(a_w+pa_2(a_w)))
|-
|0 111 222 221
|p(pa(a_w+pa_2(a_w+1)))
|-
|0 111 222 221 32
|p(pa(a_w+pa_2(a_w+a)))
|-
|0 111 222 221 321
|p(pa(a_w+pa_2(a_w+W(a+1)+1)))
|-
|0 111 222 221 321 221 321
|p(pa(a_w+pa_2(a_w+W(a+1)2+1)))
|-
|0 111 222 221 321 321
|p(pa(a_w+pa_2(a_w+W(a+1)^2+1)))
|-
|0 111 222 221 33
|p(pa(a_w+pa_2(a_w+pa_2(a_2))))
|-
|0 111 222 221 332
|p(pa(a_w+pa_2(a_w+pa_2(a_w))))
|-
|0 111 222 221 332 32
|p(pa(a_w+pa_2(a_w+pa_2(a_w+a))))
|-
|0 111 222 221 332 33
|p(pa(a_w+a_2))
|-
|0 111 222 221 332 331 442 44
|p(pa(a_w+a_3))
|-
|0 111 222 222
|p(a_w2)
|-
|0 111 222 32
|p(a_wa)
|-
|0 111 222 321
|p(a_wW[a+1]+pa_2(a_wW[a+1]+1))
|-
|0 111 222 321 221 332 421 33
|p(a_wW[a+1]+a_2)
|-
|0 111 222 321 222
|p(a_wW[a+1]+a_w)
|-
|0 111 222 321 3
|p(a_wW[a+1]w)
|-
|0 111 222 321 43
|p(a_wW[a+2]+W[a+1])
|-
|0 111 222 321 431
|p(a_wW[a+2]+pa_2(a_wW[a+2]+1))
|-
|0 111 222 321 432
|p(a_wpa_2(a_w))
|-
|0 111 222 321 432 43
|p(a_wa_2)
|-
|0 111 222 322
|p(a_w^2)
|-
|0 111 222 33
|p(W[a_w+1]+W[a+1])
|-
|0 111 222 331
|p(W[a_w+1]+pa_2(W[a_w+1]+1))
|-
|0 111 222 331 222
|p(W[a_w+1]+a_w)
|-
|0 111 222 331 3
|p(W[a_w+1]w)
|-
|0 111 222 331 32
|p(W[a_w+1]a)
|-
|0 111 222 331 322
|p(W[a_w+1]a_w)
|-
|0 111 222 331 322 431
|p(W[a_w+1]^2+pa_2(W[a_w+1]^2+1))
|-
|0 111 222 331 33
|p(W[a_w+2]+W[a+1])
|-
|0 111 222 331 4
|p(pa[w+1](W[a[w+1]+1]w))
|-
|0 111 222 331 43
|p(pa[w+1](W[a[w+1]+1]^2)+W[a+1])
|-
|0 111 222 331 44
|p(a[w+2])
|-
|0 111 222 331 442
|p(a[w2])
|-
|0 111 222 332
|p(a[w^2])
|-
|0 111 222 332 322 222 331 442 552 622
|p(a[w^2]a[w]+pa[w+1](a[w^2]a[w]))
|-
|0 111 222 332 322 222 331 442 552 622 44
|p(a[w^2]a[w]+a[w+1])
|-
|0 111 222 332 322 222 332
|p(a[w^2]a_w+a[w^2])
|-
|0 111 222 332 322 222 331 442 552 542 652
|p(a[w^2]^2+pa[w+1](a[w^2]^2))
|-
|0 111 222 332 322 432 222 332
|p(a[w^2]^2+a[w^2])
|-
|0 111 222 332 42
|p(a[b+1]a)
|-
|0 111 222 332 422 532 62
|p(a[b+1]pb(a[b+1]a))
|-
|0 111 222 332 43
|p(a[b+1]b)
|-
|0 111 222 332 431
|p(a[b+1]W[b+1]+pa_2(a[b+1]W[b+1]))
|-
|0 111 222 332 431 332 43
|p(a[b+1]W[b+1]b)
|-
|0 111 222 332 431 5
|p(a[b+1]W[b+1]^w)
|-
|0 111 222 332 431 541
|p(a[b+1]^2+W[b+1]2+pa_2(a[b+1]^2+W[b+1]2+1))
|-
|0 111 222 332 431 542
|p(a[b+1]^2+a[b+1]w)
|-
|0 111 222 332 431 542 652 73
|p(a[b+1]^2+a[b+1]pb(a[b+1]^2))
|-
|0 111 222 332 431 542 652 75
|p(a[b+1]^2+a[b+1]b)
|-
|0 111 222 332 432
|p(a[b+1]^2w)
|-
|0 111 222 332 432 331 44
|p(a[b+1]^2w+a[b+1]2)
|-
|0 111 222 332 432 331 442 552 62
|p(a[b+1]^2w+a[b+1]a)
|-
|0 111 222 332 432 331 442 552 63
|p(a[b+1]^2w+a[b+1]pb(a[b+1]^2w+W[b+1]))
|-
|0 111 222 332 432 331 442 552 631 552
|p(a[b+1]^2w+a[b+1]pb(a[b+1]^2w+W[b+1]+1))
|-
|0 111 222 332 432 331 442 552 631 742
|p(a[b+1]^2w+a[b+1]ppb(a[b+1]^2w+a[b+1]2)(pb(a[b+1]^2w+a[b+1]w)))
|-
|0 111 222 332 432 331 442 552 64
|p(a[b+1]^2w+a[b+1]pb(a[b+1]^2+a[b+1]2))
|-
|0 111 222 332 432 331 442 552 642
|p(a[b+1]^2w+a[b+1]pb(a[b+1]^2+a[b+1]w))
|-
|0 111 222 332 432 331 442 552 65
|p(a[b+1]^2w+a[b+1]b)
|-
|0 111 222 332 432 331 442 552 651
|p(a[b+1]^2w+a[b+1]^2+W[b+1]+pa_2(a[b+1]^2w+a[b+1]^2+W[b+1]+1))
|-
|0 111 222 332 432 331 442 552 652
|p(a[b+1]^2w2)
|-
|0 111 222 332 432 332
|p(a[b+1]^2w^2)
|-
|0 111 222 332 432 332 43
|p(a[b+1]^2b)
|-
|0 111 222 332 432 332 431 542
|p(a[b+1]^3+a[b+1]w)
|-
|0 111 222 332 432 332 432
|p(a[b+1]^3w)
|-
|0 111 222 332 432 43
|p(a[b+1]^b)
|-
|0 111 222 332 432 43 332 43
|p(a[b+1]^bb)
|-
|0 111 222 332 432 43 332 432
|p(a[b+1]^(b+1)w)
|-
|0 111 222 332 432 431 542
|p(a[b+1]^a[b+1]+a[b+1]w)
|-
|0 111 222 332 432 432
|p(a[b+1]^a[b+1]w)
|-
|0 111 222 332 44
|p(b_2)
|-
|0 111 222 332 441 552
|p(a[b_2+1]+a[b+1]w)
|-
|0 111 222 332 442
|p(a[b_2+1]+pb_2(a[b_2+1]+1))
|-
|0 111 222 332 442 542
|p(a[b_2+1]^2+pb_2(a[b_2+1]^2+1))
|-
|0 111 222 332 442 55
|p(b_3)
|-
|0 111 222 332 442 551 662
|p(a[b_3+1]+a[b+1]w)
|-
|0 111 222 332 442 552
|p(a[b_3+1]+pb_2(a[b_3+1]+1))
|-
|0 111 222 333
|p(b_w)
|-
|0 1111
|p(pS(S'w))
|-
|0 1111 111
|p(pS(S'w)+W_w)
|-
|0 1111 111 222
|p(pS(S'w)+pa(a_w))
|-
|0 1111 111 2221
|p(pS(S'w)+pa(pS(S'w)))
|-
|0 1111 111 2221 22
|p(pS(S'w)+a)
|-
|0 1111 111 2221 221
|p(pS(S'w)+pa_2(pS(S'w)+1))
|-
|0 1111 111 2221 221 3321 33
|p(pS(S'w)+a_2)
|-
|0 1111 111 2221 222
|p(pS(S'w)+a_w)
|-
|0 1111 111 2221 222 3331
|p(pS(S'w)+pb(pS(S'w)))
|-
|0 1111 111 2221 222 3331 33
|p(pS(S'w)+b)
|-
|0 1111 1111
|p(pS(S'w)2)
|-
|0 1111 211
|p(pS(S'w+W_w))
|-
|0 1111 211 3221 42
|p(pS(S'w+a))
|-
|0 1111 211 3221 422
|p(pS(S'w+a_w))
|-
|0 1111 2111
|p(pS(S'w)^2)
|-
|0 1111 22
|p(pS(S'w+S))
|-
|0 1111 221
|p(pS(S'w+pS_2(S'))+pa_2(pS(S'w+pS_2(S'))+1))
|-
|0 1111 221 111 2221 331 22
|p(pS(S'w+pS_2(S'))+pa_2(pS(S'w+pS_2(S'))+1)+a)
|-
|0 1111 221 111 2221 331 221
|p(pS(S'w+pS_2(S'))+pa_2(pS(S'w+pS_2(S'))+2))
|-
|0 1111 221 111 2221 331 221 3321 441 33
|p(pS(S'w+pS_2(S'))+a_2)
|-
|0 1111 221 1111
|p(pS(S'w+pS_2(S'))+pS(S'w))
|-
|0 1111 221 22
|p(pS(S'w+pS_2(S')+S))
|-
|0 1111 221 3
|p(pS(S'w+pS_2(S'+1)))
|-
|0 1111 221 32
|p(pS(S'w+pS_2(S'+S)))
|-
|0 1111 221 33
|p(pS(S'w+pS_2(S'+S_2)))
|-
|0 1111 221 331
|p(pS(S'w+pS_2(S'2))+pa_2(pS(S'w+pS_2(S'2))+1))
|-
|0 1111 221 331 44
|p(pS(S'w+pS_2(S'2))+a[b+1]2)
|-
|0 1111 221 332
|p(pS(S'w+pS_2(S'2))+a[b+1]w)
|-
|0 1111 221 3321
|p(pS(S'w+pS_2(S'2))+pb_2(pS(S'w)))
|-
|0 1111 221 3321 441 55
|p(pS(S'w+pS_2(S'2))+pb_2(pS(S'w+pS_2(S'+S_2))))
|-
|0 1111 221 3321 441 552
|p(pS(S'w+pS_2(S'2))+pb_2(pS(S'w+pS_2(S'2)))+a[b+1]w)
|-
|0 1111 221 3321 442
|p(pS(S'w+pS_2(S'2))+pb_2(pS(S'w+pS_2(S'2))+1))
|-
|0 1111 221 3321 442 332 4431 552 442
|p(pS(S'w+pS_2(S'2))+pb_2(pS(S'w+pS_2(S'2))+2))
|-
|0 1111 221 3321 442 332 4431 552 442 5531 662 55
|p(pS(S'w+pS_2(S'2))+b_2)
|-
|0 1111 221 3321 442 3321
|p(pS(S'w+pS_2(S'2))+pS(S'w))
|-
|0 1111 221 3321 442 553
|p(pS(S'w+pS_2(S'3))+b[c+1]w)
|-
|0 1111 2211
|p(pS(S'w+pS_2(S'w)))
|-
|0 1111 2211 22
|p(pS(S'w+pS_2(S'w)+S))
|-
|0 1111 2211 221
|p(pS(S'w+pS_2(S'w)+pS_2(S'))+pa_2(pS(S'w+pS_2(S'w)+pS_2(S'))+1))
|-
|0 1111 2211 2211
|p(pS(S'w+pS_2(S'w)2))
|-
|0 1111 2211 32
|p(pS(S'w+pS_2(S'w+S)))
|-
|0 1111 2211 3211
|p(pS(S'w+pS_2(S'w+pS_2(S'w))))
|-
|0 1111 2211 33
|p(pS(S'w+S_2))
|-
|0 1111 2211 3311
|p(pS(S'w+pS_3(S'w)))
|-
|0 1111 222
|p(pS(S'w+S_w))
|-
|0 1111 222 2211
|p(pS(S'w+S_w+pS_2(S'w)))
|-
|0 1111 222 2211 332 33
|p(pS(S'w+S_w+S_2))
|-
|0 1111 222 222
|p(pS(S'w+S_w2))
|-
|0 1111 222 322
|p(pS(S'w+S_w^2))
|-
|0 1111 222 33
|p(pS(S'w+pS[w+1](0)))
|-
|0 1111 222 3311
|p(pS(S'w+pS[w+1](S'w)))
|-
|0 1111 222 3311 44
|p(pS(S'w+S[w+1]))
|-
|0 1111 222 332
|p(pS(S'w+S[w^2]))
|-
|0 1111 222 332 43
|p(pS(S'w+S'2+pS_2(S'w+S')+pS(S'w+S'2)))
|-
|0 1111 222 332 4311
|p(pS(S'w+S'2+pS_2(S'w+S')+pS(S'w+S'2+pS_2(S'w))))
|-
|0 1111 222 332 432
|p(pS(S'w+S'2+pS_2(S'w+S')+pS(S'w+S'2+pS_2(S'w+S'))+1))
|-
|0 1111 222 332 44
|p(pS(S'w+S'2+pS_2(S'w+S')+S))
|-
|0 1111 222 332 442
|p(pS(S'w+S'2+pS_2(S'w+S')2+1))
|-
|0 1111 222 332 442 55
|p(pS(S'w+S'2+pS_2(S'w+S'+S_2)))
|-
|0 1111 222 333
|p(pS(S'w+S'2+pS_2(S'w+S'2+1)))
|-
|0 1111 222 3331
|p(pS(S'w2))
|-
|0 1111 222 3331 444
|p(pS(S'w2+S_w))
|-
|0 1111 2221
|p(pS(S'w^2))
|-
|0 1111 2221 22
|p(pS(S'w^2+S))
|-
|0 1111 2221 2211
|p(pS(S'w^2+pS_2(S'w)))
|-
|0 1111 2221 2211 332
|p(pS(S'w^2+pS_2(S'w+S_w)))
|-
|0 1111 2221 2211 332 443
|p(pS(S'w^2+pS_2(S'w+S'))+pS(S'w+S'2+pS_2(S'w+S')+1))
|-
|0 1111 2221 2211 332 4431 5541
|p(pS(S'w^2+pS_2(S'w+S'))+pS(S'w^2))
|-
|0 1111 2221 2211 332 4431 5541 5511
|p(pS(S'w^2+pS_2(S'w+S'))+pS(S'w^2+pS_2(S'w)))
|-
|0 1111 2221 2211 332 4431 5541 552
|p(pS(S'w^2+pS_2(S'w+S')+1))
|-
|0 1111 2221 2211 332 4431 5541 5531
|p(pS(S'w^2+pS_2(S'w2)))
|-
|0 1111 2221 2211 3321
|p(pS(S'w^2+pS_2(S'w^2)))
|-
|0 1111 2221 222
|p(pS(S'w^2+S_w))
|-
|0 1111 2221 2221
|p(pS(S'w^3))
|-
|0 1111 2221 32
|p(pS(S'S))
|-
|0 1111 2221 32 2211 332 4431 5541 65
|p(pS(S'S+pS_2(S'w+S'))+pS(S'S))
|-
|0 1111 2221 32 2211 3321
|p(pS(S'S+pS_2(S'w^2)))
|-
|0 1111 2221 32 2211 3321 42
|p(pS(S'S+pS_2(S'S)))
|-
|0 1111 2221 32 2211 3321 42 33
|p(pS(S'S+S_2))
|-
|0 1111 2221 32 222
|p(pS(S'S+S_w))
|-
|0 1111 2221 32 222 3331
|p(pS(S'S+S'w))
|-
|0 1111 2221 32 222 3331 4441 5
|p(pS(S'S+S'w^w))
|-
|0 1111 2221 32 222 3331 4441 5111
|p(pS(S'S+S'pS(S'w)))
|-
|0 1111 2221 32 222 3331 4441 52
|p(pS(S'S+S'pS(S'S+pS_2(S'))))
|-
|0 1111 2221 32 222 3331 4441 5331 6441
|p(pS(S'S+S'pS(S'S+S'w^2)))
|-
|0 1111 2221 32 222 3331 4441 54
|p(pS(S'S2))
|-
|0 1111 2221 32 2221
|p(pS(S'Sw))
|-
|0 1111 2221 3211
|p(pS(S'pS_2(S'w)))
|-
|0 1111 2221 3211 4321
|p(pS(S'pS_2(S'w^2)))
|-
|0 1111 2221 3211 4321 53
|p(pS(S'S_2))
|-
|0 1111 2221 322
|p(pS(S'S_w))
|-
|0 1111 2221 322 3
|p(pS(S'S_w^w))
|-
|0 1111 2221 322 43
|p(pS(S'pS[w+1](0)))
|-
|0 1111 2221 322 4311 5421 64
|p(pS(S'S[w+1]))
|-
|0 1111 2221 322 432
|p(pS(S'S[w^2]))
|-
|0 1111 2221 322 432 52
|p(pS(S'^2+pS_2(S'^2+S)))
|-
|0 1111 2221 322 432 53
|p(pS(S'^2+S_2))
|-
|0 1111 2221 322 433
|p(pS(S'^2+S_w))
|-
|0 1111 2221 322 4331
|p(pS(S'^2+S'w))
|-
|0 1111 2221 3221
|p(pS(S'^2w))
|-
|0 1111 2221 3221 2221
|p(pS(S'^2w^2))
|-
|0 1111 2221 3221 2221 32
|p(pS(S'^2S))
|-
|0 1111 2221 3221 2221 322
|p(pS(S'^2S_w))
|-
|0 1111 2221 3221 2221 3221
|p(pS(S'^3w))
|-
|0 1111 2221 3221 3
|p(pS(S'^w))
|-
|0 1111 2221 3221 32
|p(pS(S'^S))
|-
|0 1111 2221 3221 322
|p(pS(S'^S_w))
|-
|0 1111 2221 3221 3221
|p(pS(S'^S'w))
|-
|0 1111 2221 33
|p(pS(S[S'+1]))
|-
|0 1111 2221 331
|p(pS(S'_2)+pa_2(pS(S'_2)+1))
|-
|0 1111 2221 3311
|p(pS(S'_2w))
|-
|0 1111 2221 3311 4421
|p(pS(S'_2w^2))
|-
|0 1111 2221 3311 4421 52
|p(pS(S'_2S))
|-
|0 1111 2221 3311 4421 5221
|p(pS(S'_2S'+pS[S'+1](S'_2S'+1)))
|-
|0 1111 2221 3311 4421 53
|p(pS(S'_2S[S'+1]))
|-
|0 1111 2221 3311 4421 5311
|p(pS(S'_2pS[S'+2](S'_2w)))
|-
|0 1111 2221 3311 4421 54
|p(pS(S'_2S[S'+2]))
|-
|0 1111 2221 3311 4421 542
|p(pS(S'_2S[S'+w]))
|-
|0 1111 2221 3311 4421 5421
|p(pS(S'_2^2w))
|-
|0 1111 2221 3311 4421 55
|p(pS(S[S'_2+1]))
|-
|0 1111 2221 332
|p(pS(S'_w))
|-
|0 1111 2221 332 222
|p(pS(S'_w+S_w))
|-
|0 1111 2221 332 222 3331 4441 554
|p(pS(S'_w+pS[S'+1](S'_w)))
|-
|0 1111 2221 332 2221
|p(pS(S'_w+pS[S'+1](S'_w+1)))
|-
|0 1111 2221 332 2221 32
|p(pS(S'_w+pS[S'+1](S'_w+S)))
|-
|0 1111 2221 332 2221 322
|p(pS(S'_w+pS[S'+1](S'_w+S_w)))
|-
|0 1111 2221 332 2221 3221
|p(pS(S'_w+pS[S'+1](S'_w+S'+1)))
|-
|0 1111 2221 332 2221 33
|p(pS(S'_w+pS[S'+1](S'_w+pS[S'+1](0))))
|-
|0 1111 2221 332 2221 3311
|p(pS(S'_w+pS[S'+1](S'_w+pS[S'+1](S'_2w))))
|-
|0 1111 2221 332 2221 3311 4421 552
|p(pS(S'_w+pS[S'+1](S'_w+pS[S'+1](S'_w))))
|-
|0 1111 2221 332 2221 3311 4421 552 3221
|p(pS(S'_w+pS[S'+1](S'_w+pS[S'+1](S'_w)+S'+1)))
|-
|0 1111 2221 332 2221 3311 4421 552 33
|p(pS(S'_w+S[S'+1]))
|-
|0 1111 2221 332 2221 3311 4421 552 3311
|p(pS(S'_w+pS[S'+2](S'_2w)))
|-
|0 1111 2221 332 2221 3311 4421 552 3311 4421 552
|p(pS(S'_w+pS[S'+2](S'_w)))
|-
|0 1111 2221 332 2221 3311 4421 552 44
|p(pS(S'_w+S[S'+2]))
|-
|0 1111 2221 332 2221 3311 4421 552 442
|p(pS(S'_w+S[S'+w]))
|-
|0 1111 2221 332 2221 3311 4421 552 4421
|p(pS(S'_w+pS[S'_2+1](S'_w+1)))
|-
|0 1111 2221 332 2221 332
|p(pS(S'_w2))
|-
|0 1111 2221 332 32
|p(pS(S'_wS))
|-
|0 1111 2221 332 3221
|p(pS(S'_wS'+pS[S'+1](S'_wS'+1)))
|-
|0 1111 2221 332 3221 432
|p(pS(S'_w^2))
|-
|0 1111 2221 332 33
|p(pS(S[S'_w+1]))
|-
|0 1111 2221 332 331
|p(pS(S'[w+1])+pa_2(pS(S'[w+1])+1))
|-
|0 1111 2221 332 332
|p(pS(S'[w^2]))
|-
|0 1111 2221 332 4221 532
|p(pS(pS<nowiki>''</nowiki>(S'[S<nowiki>''</nowiki>+1]pS<nowiki>''</nowiki>(S'[S<nowiki>''</nowiki>+1]w))))
|-
|0 1111 2221 332 43
|p(pS(pS<nowiki>''</nowiki>(S'[S<nowiki>''</nowiki>+1]S<nowiki>''</nowiki>)))
|-
|0 1111 2221 332 43 54
|p(pS(pS<nowiki>''</nowiki>(S'[S<nowiki>''</nowiki>+1]S[S<nowiki>''</nowiki>+1]+S[S<nowiki>''</nowiki>+1])))
|-
|0 1111 2221 332 4311
|p(pS(pS<nowiki>''</nowiki>(S'[S<nowiki>''</nowiki>+1]S[S<nowiki>''</nowiki>+1]+S'[S<nowiki>''</nowiki>+1]+1)))
|-
|0 1111 2221 332 4311 5421 62
|p(pS(pS<nowiki>''</nowiki>(S'[S<nowiki>''</nowiki>+1]S[S<nowiki>''</nowiki>+1]+S'[S<nowiki>''</nowiki>+1]+S)))
|-
|0 1111 2221 332 4311 5421 63
|p(pS(pS<nowiki>''</nowiki>(S'[S<nowiki>''</nowiki>+1]S[S<nowiki>''</nowiki>+1]+S'[S<nowiki>''</nowiki>+1]+S[S<nowiki>''</nowiki>+1])))
|-
|0 1111 2221 332 4311 5421 642
|p(pS(pS<nowiki>''</nowiki>(S'[S<nowiki>''</nowiki>+1]S[S<nowiki>''</nowiki>+1]+S'[S<nowiki>''</nowiki>+1]w)))
|-
|0 1111 2221 332 4311 5421 642 74
|p(pS(pS<nowiki>''</nowiki>(S'[S<nowiki>''</nowiki>+1]S[S<nowiki>''</nowiki>+1]+S'[S<nowiki>''</nowiki>+1]S<nowiki>''</nowiki>)))
|-
|0 1111 2221 332 432
|p(pS(pS<nowiki>''</nowiki>(S'[S<nowiki>''</nowiki>+1]S[S<nowiki>''</nowiki>+1]w)))
|-
|0 1111 2221 332 44
|p(pS(pS<nowiki>''</nowiki>(S'[S<nowiki>''</nowiki>+1]S[S<nowiki>''</nowiki>+2]+S[S<nowiki>''</nowiki>+1])))
|-
|0 1111 2221 332 442
|p(pS(pS<nowiki>''</nowiki>(S'[S<nowiki>''</nowiki>+1]S[S<nowiki>''</nowiki>+2]w)))
|-
|0 1111 2221 332 443
|p(pS(pS<nowiki>''</nowiki>(S'[S<nowiki>''</nowiki>+1]^2)+S_w))
|-
|0 1111 2221 332 4431
|p(pS(pS<nowiki>''</nowiki>(S'[S<nowiki>''</nowiki>+1]^2)+S'w))
|-
|0 1111 2221 3321
|p(pS(pS<nowiki>''</nowiki>(S'[S<nowiki>''</nowiki>+1]^2+1)))
|}
[[分类:分析]]