错层

错层是常出现于记号分析(扽西)中的重要概念。

释义

因为不同记号之间的表达式的容纳能力不同，导致二者等价表达式出现的错位，就被称为错层。

示例

最典型的例子之一是$\mathrm{T}\mathrm{B}\mathrm{M}\mathrm{S}\mathrm{v}\mathrm{s}\mathrm{1}\mathrm{-}\mathrm{Y}$：

$(0)(1^{\omega })(1)(2,1^{\omega })(2)=1,3,2,5,3$

$(0)(1^{\omega })(1,1)=1,3,2,5,4$

$(0)(1^{\omega })(1,1,1)=1,3,2,5,4,9,8$

$(0)(1^{\omega })(1,1,1,1)=1,3,2,5,4,9,8,16,17$

以及$\mathrm{B}\mathrm{M}\mathrm{S}\mathrm{v}\mathrm{s}\mathrm{U}\mathrm{P}\mathrm{M}\mathrm{S}$：

$1,4,6,3,7,9=1,4,6,3,7,9$

$1,4,6,3,7,10=1,4,6,10,13$

$1,4,6,3,7,10,6,11,15=1,4,6,10,13,18,22$