KMP算法有限状态自动机的更新影子代码理解