真前缀（proper prefix）是计算机科学技术名词，指字符串中除自身外的所有非空前缀，并收录于《计算机科学技术名词》第三版 。该概念在形式语言与自动机理论中被严格定义 。
在KMP算法中，真前缀用于构建前缀函数π[i]，其定义为字符串中真前缀与真后缀的最大匹配长度。该函数通过状态转移实现时间复杂度为O(n)的模式匹配，并应用于字符串周期计算和自动机压缩算法。前缀函数值计算示例如字符串“abcabcd”和“aabaaab”均有详细推导过程，其中最小周期可通过n - π[n-1]公式得出 。阮一峰在解析KMP算法时首次明确区分传统前缀与真前缀的定义差异，指出真前缀不包含空串及字符串自身 。
想要了解更多“真前缀”的信息，请点击：真前缀百科
