从有限状态机的角度去理解Knuth-Morris-Pratt Algorithm(又叫KMP算法)