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

本文只介绍X = dp[X][pat.charAt(i)];这行代码的具体意义，关于kmp其他的可以看下面给出的链接，都是很棒的文章
力扣大佬带我入门
算法笔记-KMP算法
《算法(第4版)》KMP理解

如果你现在只有X = dp[X][pat.charAt(i)];不理解，就往下看

本文里，将X叫做影子，X = dp[X][pat.charAt(i)];叫做更新影子，这是将我kmp领入门，就是上面力扣链接里的叫法

一.代码

确定有限状态自动机,

	 private int [][] dp;
    private String pat;
    public void KMP(String pat){
        this.pat = pat;
        int M = pat.length();
//        dp[状态][字符] = 下个状态
        dp = new int[M][256]; // ascii 码
//        base case,其他默认为 0
        dp[0][pat.charAt(0)] = 1;
//        影子状态初始 X 为 0
        int X = 0;
//        当前状态 i 从 1 开始
        for (int i = 1; i < M; i++) {
            for (int j = 0; j < 256; j++) {
                dp[i][j] = dp[X][j];
            }
            dp[i][pat.charAt(i)] = i+1;
//          更新影子状态
            X = dp[X][pat.charAt(i)];
        }

匹配过程

  public int search(String txt){
        int M = pat.length();
        int N = txt.length();
//        pat 的初始态为 0
        int j = 0;
        for (int i = 0; i < N; i++) {
//            计算 dp 的下一个状态
            j = dp[j][txt.charAt(i)];
//            到达终止态，返回结果
            if (j == M){
                return i - M + 1;
            }
        }
        return -1;  // 未匹配成功
    }

二.初级理解

三. 递进通透

四. 总结