Algorithm 暴力模式匹配的正确性论证？

我想知道模式匹配的蛮力算法是否会有一个复杂的正确性论证

我在想一些类似于。。。如果完全执行该算法，这将证明其正确性，因为模式中的每个字符都与文本字符串中的索引单独匹配

---

它会像这样简单吗？

一般来说，强力匹配算法正确性的理由是，在执行过程中，它考虑了字符串匹配模式的所有可能方式，而不是其他方式；因此，如果它得出字符串匹配的结论，则存在匹配，如果不匹配，则不存在匹配。

通常，强力匹配算法正确性的理由是，在执行过程中，它考虑了字符串可以匹配模式的所有可能方式，而不是其他方式；因此，如果它断定字符串匹配，则存在匹配，如果不匹配，则不存在匹配