字符串的匹配算法，较为详细，公式如何推导及其给出，希望读者深刻理解。