kmp算法中next数组中的一点小想法

书上说：

（数据结构第五版）李春葆

 我认为得先证明 t[0]t[1]... t[m-1]=t[j-m]t[j-m+1]...t[j-1];（m=next【k】；）

已知:
t[0]t[1]...t[k-1]=t[j-k]t[j-k+1]...t[j-1];
m=next[k];
t[0]t[1]...t[m-1]=t[k-m]t[k-m+1]...t[k-1];
关键在于证：t[0]t[1]... t[m-1]=t[j-m]t[j-m+1]...t[j-1];
证明： t[0]t[1]... t[m-1]
      =t[k-m]t[k-m+1]...t[k-1]
      =t[j-m]t[j-m+1]...t[j-1];