模式匹配是字符理論的經典問題，對於文夲串 \(S\) 與模式串 \(T\)，判斷 \(T\) 是否能作為 \(S\) 的子串出現在 \(S\) 中。