an-1），其中，A是数组名，ai（0≤i≤n-1）是数组A中序号为i的元素。，a0,n-1]，…KMP算法的下一次比较si/tnext[1]，而next[1]=0，并且t0=t1，说明一定有si≠tnext[1]  nextval[j]=nextval[next[j]]=-1。（1）如果有tj=tk成立，可以直接推出si≠tk成立，没有必要再做si/tk的比较，直接置nextval[j]=ne

状态变化简易图实例化│▼NEW (新建)│▼│ (可运行) │ ││ │ ││ │ 竞争锁失败 ││ ▼ ││ BLOCKED (阻塞) ││ │ ││ │ 获取到锁 ││ ▼ │▼ │ │WAITING (无限等待) ││ │ │▼ ▼ │TIMED_WAITING (超时等待) ││ │ ││ │ 超时/被唤醒 │││ 执行完成▼TERMINATED (终止)