串的模式匹配算法理论与思想