#cbmc

Knuth-Morris-Pratt字符串搜索算法：不含DFA的版本
Knuth-Morris-Pratt string-searching algorithm: DFA-less version(yurichev.com)
2021-1-22 19:48
unsigned search_ok（char * s，unsigned len）{如果（len＆lt; 2）返回len; //找不到（unsigned i = 0; i