結果 : string matching algorithm finite automata