kmp和dfa

状态j的含义是已经匹配的长度，pattern[j] 是pattern中下一个待匹配的字符

需要计算一个状态转移表：

在状态j,  对于字符pattern[j]，状态转移自然是 j = j + 1，这是match case

对于其他字符，是unmatch case, 状态转移是相当于把pattern[1: j - 1]放到状态机里运行得到的状态再以pattern[j]作为转移。

重点：状态机是部分可用的。在计算状态j的转移的时候，状态0到 j - 1的转移都已经算出来了，而pattern[1:j-1]总共只有j - 1个字符，产生的状态值肯定是小于等于j - 1，此时部分的状态机也是够用的。

维护一个状态X，代表把pattern[1: j - 1]序列输入到状态机里运行的结果，计算完 j 的转移, x对pattern[j]进行一次跳转进行更新

class KMP {
	public static int R = 256;
	private int[][] dfa;
	private int M;
	public KMP(String pattern) {
		M = pattern.length();
		dfa = new int[M][R];
		dfa[0][pattern.charAt(0)] = 1;
		for (int x = 0, i = 1; i < M; ++i) {
			for (char c = 0; c < R; ++c) {
				dfa[i][c] = dfa[x][c];
			}
			dfa[i][pattern.charAt(i)] = i + 1;
			x = dfa[x][pattern.charAt(i)];
		}
	}
	public int match(String text) {
		for (int i = 0, j = 0; j < text.length(); ++j) {
			i = dfa[i][text.charAt(j)];
			if (i == M) return j - M + 1;
		}
		return -1;
	}
}