與有限自動機的模式匹配

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，因此它們不會顯示它們（為清晰起見）。