摘要：开个坑，待补 SAM SAM 是一个接受 \(s\) 的所有后缀的 \(DFA\)，从初始状态 \(t_0\) 出发走到一个终止状态，则路径上所有转移连接起来一定是 \(s\) 的一个后缀。一个很显然的性质是 SAM 包含了 \(s\) 的所有子串，因为子串可以视为后缀的前缀。 然后我们引入一些概念 阅读全文

摘要：自动机真的好难！ 自动机 一个确定有限状态自动机，即 DFA，可以理解成一张有向图，每一个结点都是一个状态。 自动机由五部分组成： 字符集 \(\sum\) 状态集合 \(Q\) ，相当于图上的顶点 起始状态 \(start \in Q\) 接受状态集合 \(F\) 转移函数 \(\delta\)， 阅读全文