(4-1)式表明此次匹配从p与t开始比较,当比较到p与t时 出现不等情况,于是将模式右移一位,变成(4-2)所示的状 态,若此次比较成功,则必有Po=t+1,P1=t+2,……p 1,且p11≠p1而根据(4-1)的比较结果有:p1=t+1 p2=tk+2……p11=t1,因此有:Po=p1,p1 pi2=P1这个性质说明在模式p中p之前存在 个从P开始长度为1的连续序列pP1……P12和以p1为 结尾,长度同样为1的连续序列p1p2…p1其值对应相等, 即 poP1p2…P12PtP 简记为: [p-P:2]=[p1-p; 称模式p中p之前存在长度为-1的真前缀和真后缀的匹配。(4-1)式表明此次匹配从p0与tk开始比较，当比较到pi与tr时 出现不等情况，于是将模式右移一位，变成(4-2)所示的状 态，若此次比较成功，则必有p0= tk+1，p1= tk+2，……pi- 2= tr-1，且pi-1≠pi；而根据(4-1)的比较结果有：p1= tk+1， p2= tk+2，……pi-1= tr-1，因此有：p0= p1，p1= p2，……pi-2= pi-1。这个性质说明在模式p中pi之前存在一 个从p0开始长度为i-1的连续序列p0 p1 ……pi-2 和以pi-1为 结尾，长度同样为i-1的连续序列p1 p2……pi-1其值对应相等， 即： p0 p1 p2……pi-2 pi-1 pi………. 简记为： [p0—pi-2 ]=[p1—pi-1 ] 称模式p中pi之前存在长度为i-1的真前缀和真后缀的匹配