有限自动机字符串匹配

news2025/7/12 7:33:16

上一篇文章正则表达式，提到正则表达式是一种用来表示有限自动机所接受单词组合的语言，那么什么是有限自动机呢，以及它是如何进行字符串匹配的，下面来做详细介绍

什么是有限自动机

目前程序上利用不同的编程语言通过正则表达式进行字符串匹配，其底层是由有限自动机（Finite Automaton）来实现的，有限自动机简称 FA。FA 是一个有限状态的集合，还有一些从一个状态通向另一个状态的边，每条边上有一个符号，期中一个状态是初态，某些状态是终态，是一种状态转移图。形式上，FA 是一个五元组（S、Σ、δ(s, c)、S(0)、S(A)），其中各个分量表示如下：

S：是 FA 中的有限状态集合，包含错误状态 S(E)，通常 S(E) = S(0)。
Σ：是 FA 中的使用的字母表，通常 Σ 是转移图种边的标签集合。
δ(s, c)：是 FA 的状态转移函数。它将每个状态 s 和每个字符 c的组合（s, c）映射到下一个状态。在状态 S(i) 遇到输入字符 c，FA 将进行状态转移。
S(0)：是指定的起始状态，属于 S 的子集。
S(A)：是接受状态集合，属于 S 的子集。

下面是一个简单的 FA 示意图，表示的是一个以 a 开头，中间可以有 n 个连续的 c , 或者 n 个连续的 ba 组成的字符串，比如 a、aba、abababa、accccba、acccbababa、ababacccbacc 等，正则表达式可以表示为 a((ba)c)*
在这里插入图片描述

字符串匹配过程

有限自动机开始于状态 S(0) ，每次读入字符串中的一个字符 c，状态就会通过 δ(s, c) 进行一次状态转移，每当当前达到的状态 s 属于 S(A) 时，就说自动机 FA 接受了迄今为止所读入的字符串，同时达到 S(A) 时主串（Text）的下标就是匹配完成的结束位置。如果没有被接受的输入则匹配失败。有限自动机字符串匹配主要分为两步：构造字符串匹配自动机、进行主串匹配。

1. 字符串匹配自动机

字符串匹配自动机是针对模式串 P 来构建的，类似于 KMP 算法构造 Next 数组。

假设模式串 P 的长度为 m，则有限自动机对应的分量分别设定为：

状态集合 S = {0, 1, 2, …, m-1, m}
字母表 Σ 为 P 包含的所有字符集合
起始状态 S(0) = 0
接受状态 S(A) = {m}
状态转移函数 δ(s, c) 下面会详细介绍

为了定义状态转移函数 δ(s, c) ，我们先引入一个后缀函数 φ(t)，φ(t) 是一个从输入文本（Σ* ）到状态集合（S）的映射，φ(t) 表示 t 的后缀同时是 P 前缀的情况下，t 后缀的最长长度。并且认为空字符串 ϵ 是任意字符串的后缀，所以后缀函数是良定义（well-defined）的。
例如：设定模式串 P = ab，则

φ(ϵ) = 0,
φ(a) = 1，t = a 的后缀在模式串 P = ab 的最长前缀是 a，长度为 1
φ(ca) = 1，t = ca 的后缀在模式串 P = ab 的最长前缀是 a，长度为 1
φ(cc) = 0，t = ca 的后缀在模式串 P = ab 的最长前缀是 ϵ，长度为 0
φ(cab) = 2，t = cab 的后缀在模式串 P = ab 的最长前缀是 ab，长度为 2
φ(cabc) = 0，t = cabc 的后缀在模式串 P = ab 的最长前缀是 ϵ，长度为 0

在引入后缀函数 φ(t) 的基础下，对于任意的状态 s 和字符 c，状态转移函数 δ(s, c) 的定义为