与有限自动机的模式匹配

Question

最近我正在阅读着名的算法设计书CLRS（Cormen，Leiserson，Rivest，Stain，第3版）。 在经典的KMP和Rabin - Karp算法之间，有一部分关于字符串与有限自动机的匹配。 因此算法根据模式创建自动机并开始处理字符串。

所以在这个例子中，算法搜索输入字符串中的模式“ababaca”。 所以除了两件事之外，一切似乎都符合逻辑。

当我到达“b”时为什么没有从状态4到先前状态的路径，因为在那种情况下我会有“ababb”，这已经是不匹配了？ 当我从州6读“b”或“c”时会发生什么？ 有什么东西让我误解了吗？ 从状态0到4也没有读“c”情况，依此类推。

Answer 1

检查表（b）。 你所谈论的所有州都标记为0.所以你回到起点。 在图像中，您将获得大量边缘返回0，因此它们不会显示它们（为清晰起见）。