1. 当j=0时，next[0] = -1 （规定）
2. 当 k=-1 或 T[k] = T[j] 时，则 j=j+1，k=k+1，next[j] = k
3. 当 T[k] ≠ T[j] 时，k = next[k]，重复比较直到相等或k=-1