（一）KMP算法的DFA解法

最新推荐文章于 2026-02-15 14:27:37 发布

原创

最新推荐文章于 2026-02-15 14:27:37 发布 · 1.8k 阅读

收录于

当前文章被以下社区和专栏收录：

本文介绍了KMP算法的DFA（确定有限自动状态机）解法，详细阐述了匹配思路和DFA数组的构建过程。通过构建DFA数组来处理匹配成功和失败的情况，并提供了状态指示数组X的使用方法，帮助理解KMP算法如何利用DFA进行字符串匹配。

简单说一下，KMP是一个时间复杂度O（n+m）的字符串匹配算法，网上也有很多其他的解法，比如next数组的解法，推荐看这里

匹配的思路

DFA：确定有限自动状态机
以下是ABABAC的对应的DFA：
这里写图片描述

1.假设文本为txt，待匹配的子串为pat。

2.未匹配是状态0，此时如果条件A（匹配到了txt的字符‘A‘），会到状态1，如果是条件B、C或其他的条件，还是状态0。如果经历了匹配ABABA之后到达状态5，再匹配C到达状态6，即停止状态，也就是匹配成功。

3.很明显，dfa[][]是一个二维数组,dfa['A'][3]就是在状态3时，下一个条件是A时，要跳转到哪一个状态。

4.匹配的过程就是：不断的用txt的字符 + 当时的状态去dfa取值，直到状态6 or txt匹配到最后一个字符，结束。

5.匹配过程中，txt的字符是一个一个往后取，不会回溯，只是状态一直在变化，即本次使用的是上一次匹配后的状态，不会回溯，正是KMP算法相对于暴力解法的优势。