拉伸

拉伸是一种特殊的记号行为。出现在MN、iBLP等记号中。

定义

对于一个按项展开的记号，如果其某个表达式的基本列坏部长度并不是恒定不变，而是递增(不要求单调)的，则称该表达式的展开出现了拉伸。

示例

例如，对于iBLP表达式 $(1,0)1(2,1,0)1(3,2,1,0)2(4,3,2)1$，其基本列为

$(1,0)1(2,1,0)1(3,2,1,0)2(4,3,2)1[0]=(1,0)1(2,1,0)1(3,2,1,0)2$

$(1,0)1(2,1,0)1(3,2,1,0)2(4,3,2)1[1]=(1,0)1(2,1,0)1(3,2,1,0)2(4,3,2,1,0)3(5,*4,3,2,1,0)3$

$(1,0)1(2,1,0)1(3,2,1,0)2(4,3,2)1[2]=(1,0)1(2,1,0)1(3,2,1,0)2(4,3,2,1,0)3(5,*4,3,2,1,0)3(6,4,2,1,0)3(7,*6,4,3,2,1,0)4(8,*7,*6,4,3,2,1,0)4$

$(1,0)1(2,1,0)1(3,2,1,0)2(4,3,2)1[2]=(1,0)1(2,1,0)1(3,2,1,0)2(4,3,2,1,0)3(5,*4,3,2,1,0)3(6,4,2,1,0)3(7,*6,4,3,2,1,0)4(8,*7,*6,4,3,2,1,0)4(9,6,2,1,0)3(10,*9,6,3,2,1,0)4(11,*10,*9,6,4,3,2,1,0)5(12,*11,*10,*9,6,4,3,2,1,0)5$

其坏部仅有1项，但复制出来的项数依次递增1。