strict fz分析Part1：修订间差异

←上一编辑下一编辑→

可视化wikitext

2026年7月5日 (日) 17:07的版本

以下使用strict fz和BMS对照分析，用 $ψ$ 简称 $ψ_{Z S}$ （strict fz的符号，S即strict）

$ψ (0) = 1$

$ψ (1) = ω$

$ψ [ω] (ω) = ω^{ω}$

$ψ [ω] (ψ [ω] (ω)) = ω^{ω^{ω}}$

$ψ (ω) = (0) (1, 1)$

$ψ (ω + 1) = (0) (1, 1) (1)$

$ψ [ω \times 2] (ω \times 2) = (0) (1, 1) (1) (2)$

$ψ [ω \times 2] (ε_{0}) = (0) (1, 1) (1) (2, 1)$

$ψ (ω \times 2) = (0) (1, 1) (1, 1)$

$ψ [ω^{2}] (ω^{2}) = (0) (1, 1) (2)$

$ψ [ω^{2}, ω^{2} + ω] (ω^{2} + ω) = (0) (1, 1) (2) (1) (2)$

$ψ [ω^{2}] (ω^{2} + ω) = (0) (1, 1) (2) (1, 1)$

$ψ [ω^{2}] (ω^{2} + ω \times 2) = (0) (1, 1) (2) (1, 1) (1, 1)$

$ψ [ω^{2}] (ω^{2} + ω) = (0) (1, 1) (2) (1, 1) (2)$

$ψ [ω^{2}] (ω^{2} \times 2) = (0) (1, 1) (2) (2)$

$ψ [ω^{2}] (ω^{3}) = (0) (1, 1) (2) (3)$

$ψ [ω^{2}] (ω^{ω}) = (0) (1, 1) (2) (3) (4)$

$ψ [ω^{2}] (ε_{0}) = (0) (1, 1) (2) (3, 1)$

$ψ [ω^{2}] (ψ [ω^{2}] (ω^{2})) = (0) (1, 1) (2) (3, 1) (4)$

$ψ [ω^{2}] (ψ [ω^{2}] (ψ [ω^{2}] (ω^{2}))) = (0) (1, 1) (2) (3, 1) (4) (5, 1) (6)$

$ψ (ω^{2}) = (0) (1, 1) (2, 1)$

$ψ (ω^{2} \times 2) = (0) (1, 1) (2, 1) (1, 1) (2, 1)$

$ψ (ω^{2} \times 3) = (0) (1, 1) (2, 1) (1, 1) (2, 1) (1, 1) (2, 1)$

$ψ [ω^{3}] (ω^{3}) = (0) (1, 1) (2, 1) (2)$

$ψ [ω^{3}] (ε_{0}) = (0) (1, 1) (2, 1) (2) (3, 1)$

$ψ (ω^{3}) = (0) (1, 1) (2, 1) (2, 1)$

$ψ (ω^{4}) = (0) (1, 1) (2, 1) (2, 1) (2, 1)$

$ψ [ω^{ω}] (ω^{ω}) = (0) (1, 1) (2, 1) (3)$

$ψ [ω^{ω}, ω^{ω + 1}] (ω^{ω + 1}) = (0) (1, 1) (2, 1) (3) (2)$

$ψ [ω^{ω}, ω^{ω + 1}] (ω^{ω + 1} + ω^{ω}) = (0) (1, 1) (2, 1) (3) (2) (1, 1) (2, 1) (3)$ （P.S.这里按照规则没有 $[ω^{ω}, ω^{ω + 1}, ω^{ω + 1} + ω^{ω}]$ 提升，因为这个伪链不存在）

$ψ [ω^{ω}, ω^{ω + 1}] (ω^{ω + 1} \times 2) = (0) (1, 1) (2, 1) (3) (2) (1, 1) (2, 1) (3) (2)$

$ψ [ω^{ω}, ω^{ω + 1}] (ω^{ω + 2}) = (0) (1, 1) (2, 1) (3) (2) (2)$

$ψ [ω^{ω}, ω^{ω + 1}] (ε_{0}) = (0) (1, 1) (2, 1) (3) (2) (3, 1)$

$ψ [ω^{ω}, ω^{ω + 1}] (ψ [ω^{ω}, ω^{ω + 1}] (ω^{ω + 1})) = (0) (1, 1) (2, 1) (3) (2) (3, 1) (4, 1) (5)$

$ψ [ω^{ω}] (ω^{ω + 1}) = (0) (1, 1) (2, 1) (3) (2, 1)$

@@ 第59行： / 第59行： @@
 <math>\psi[\omega^\omega,\omega^{\omega+1}](\omega^{\omega+1})=(0)(1,1)(2,1)(3)(2)</math>
-<math>\color{red}\psi[\omega^\omega,\omega^{\omega+1}](\omega^{\omega+1}+\omega^\omega)=(0)(1,1)(2,1)(3)(2)(1,1)(2,1)(3)</math>（P.S.这里按照规则没有<math>[\omega^\omega,\omega^{\omega+1},\omega^{\omega+1}+\omega^\omega]</math>提升，因为这个伪链不存在）
+<math>\color{red}{\psi[\omega^\omega,\omega^{\omega+1}](\omega^{\omega+1}+\omega^\omega)=(0)(1,1)(2,1)(3)(2)(1,1)(2,1)(3)}</math>（P.S.这里按照规则没有<math>[\omega^\omega,\omega^{\omega+1},\omega^{\omega+1}+\omega^\omega]</math>提升，因为这个伪链不存在）
-<math>\psi[\omega^\omega,\omega^{\omega+1}](\omega^{\omega+1}+\omega^\omega)=(0)(1,1)(2,1)(3)(2)(1,1)(2,1)(3)</math>
+<math>\psi[\omega^\omega,\omega^{\omega+1}](\omega^{\omega+1}\times2)=(0)(1,1)(2,1)(3)(2)(1,1)(2,1)(3)(2)</math>
+<math>\psi[\omega^\omega,\omega^{\omega+1}](\omega^{\omega+2})=(0)(1,1)(2,1)(3)(2)(2)</math>
+<math>\psi[\omega^\omega,\omega^{\omega+1}](\varepsilon_0)=(0)(1,1)(2,1)(3)(2)(3,1)</math>
+<math>\psi[\omega^\omega,\omega^{\omega+1}](\psi[\omega^\omega,\omega^{\omega+1}](\omega^{\omega+1}))=(0)(1,1)(2,1)(3)(2)(3,1)(4,1)(5)</math>
+<math>\psi[\omega^\omega](\omega^{\omega+1})=(0)(1,1)(2,1)(3)(2,1)</math>