本文适用于：已经了解 AC 自动机算法的实现过程，正试图证明但不能独立证明 AC 自动机算法正确性的学习者。
网络资源中关于 AC 自动机算法正确性的证明比较少。 想证明 AC自动机算法的正确性，可以直接去看 Alfred V. Aho 和 Margaret J.Corasick 当年提出 AC 自动机算法的这篇论文：
Efficient String Matching: An Aid to Bibliographic Search
论文中给出了 AC 自动机算法的实现过程、正确性和复杂度证明，非常易读，推荐各位 AC 自动机的学习者阅读。
26 April 2017