Revision as of 19:03, 22 December 2023 edit SimLibrarian (talk \| contribs) Extended confirmed users 147,152 edits m →External links: URL updates Tag: Visual edit ← Previous edit		Revision as of 12:35, 6 March 2024 edit undo Guspan Tanadi (talk \| contribs) Extended confirmed users 610 edits →External links: archiving a link Next edit →
Line 464: * [https://www.youtube.com/watch?v=4jY57Ehc14Y LogicFirst YouTube lecture video] * [http://toccata.lri.fr/gallery/kmp.en.html Proof of correctness] * [http://www.avhohlov.narod.ru/p2250en.htm Transformation between different forms of algorithm] {{Webarchive\|url=https://web.archive.org/web/20230707162253/http://www.avhohlov.narod.ru/p2250en.htm\|date=July 7, 2023}} * [https://github.com/rvhuang/kmp-algorithm Knuth-Morris-Pratt algorithm written in C#] * [https://yurichev.com/news/20210121_Knuth_Morris_Pratt_1/ Knuth-Morris-Pratt string-searching algorithm (part I) + my homebrew algorithms formally verified using CBMC], [https://yurichev.com/news/20210121_Knuth_Morris_Pratt_2/ Knuth-Morris-Pratt string-searching algorithm (part II): DFA version], [https://yurichev.com/news/20210121_Knuth_Morris_Pratt_3/ Knuth-Morris-Pratt string-searching algorithm (part III): DFA-less version]

Knuth–Morris–Pratt algorithm: Difference between revisions