查看“︁strict fz分析Part1”︁的源代码

以下使用strict fz和BMS对照分析，用<math>\psi</math>简称<math>\psi_{ZS}</math>（strict fz的符号，S即strict）

<math>\psi(0)=1</math>

<math>\psi(1)=\omega</math>

<math>\psi[\omega](\omega)=\omega^\omega</math>

<math>\psi[\omega](\psi[\omega](\omega))=\omega^{\omega^\omega}</math>

<math>\psi(\omega)=(0)(1,1)</math>

<math>\psi(\omega+1)=(0)(1,1)(1)</math>

<math>\psi[\omega\times2](\omega\times2)=(0)(1,1)(1)(2)</math>

<math>\psi[\omega\times2](\varepsilon_0)=(0)(1,1)(1)(2,1)</math>

<math>\psi(\omega\times2)=(0)(1,1)(1,1)</math>

<math>\psi[\omega^2](\omega^2)=(0)(1,1)(2)</math>

<math>\psi[\omega^2,\omega^2+\omega](\omega^2+\omega)=(0)(1,1)(2)(1)(2)</math>

<math>\psi[\omega^2](\omega^2+\omega)=(0)(1,1)(2)(1,1)</math>

<math>\psi[\omega^2](\omega^2+\omega\times2)=(0)(1,1)(2)(1,1)(1,1)</math>

<math>\psi[\omega^2](\omega^2+\omega)=(0)(1,1)(2)(1,1)(2)</math>

<math>\psi[\omega^2](\omega^2\times2)=(0)(1,1)(2)(2)</math>

<math>\psi[\omega^2](\omega^3)=(0)(1,1)(2)(3)</math>

<math>\psi[\omega^2](\omega^\omega)=(0)(1,1)(2)(3)(4)</math>

<math>\psi[\omega^2](\varepsilon_0)=(0)(1,1)(2)(3,1)</math>

<math>\psi[\omega^2](\psi[\omega^2](\omega^2))=(0)(1,1)(2)(3,1)(4)</math>

<math>\psi[\omega^2](\psi[\omega^2](\psi[\omega^2](\omega^2)))=(0)(1,1)(2)(3,1)(4)(5,1)(6)</math>

<math>\psi(\omega^2)=(0)(1,1)(2,1)</math>

<math>\psi(\omega^2\times2)=(0)(1,1)(2,1)(1,1)(2,1)</math>

<math>\psi(\omega^2\times3)=(0)(1,1)(2,1)(1,1)(2,1)(1,1)(2,1)</math>

<math>\psi[\omega^3](\omega^3)=(0)(1,1)(2,1)(2)</math>

<math>\psi[\omega^3](\varepsilon_0)=(0)(1,1)(2,1)(2)(3,1)</math>

<math>\psi(\omega^3)=(0)(1,1)(2,1)(2,1)</math>

<math>\psi(\omega^4)=(0)(1,1)(2,1)(2,1)(2,1)</math>

<math>\psi[\omega^\omega](\omega^\omega)=(0)(1,1)(2,1)(3)</math>

<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>\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>

<math>\psi[\omega^\omega](\omega^{\omega+1})=(0)(1,1)(2,1)(3)(2,1)</math>