【字符串】字符串匹配：有穷自动机DFA算法