标记重捕法计算公式为什么减1？

标记重捕法是一种用于计算有限自动机的有效方法。
  
在计算公式中为什么要减1呢？ 答案是因为在标记重捕法中，我们需要定义一个特殊的标志符号，表示当前字符不属于任何一个前一个状态的后缀。
  
假设我们正在计算有限自动机的当前状态是k，下一个字符是c，我们需要根据这个信息来决定下一个状态。
  
为了方便表示不属于任何一个前一个状态的后缀的情况，我们会定义一个特殊的状态记为k'。
  
而k'的含义就是不属于任何一个前一个状态的后缀。
  
在计算公式中，我们用k(c)表示从状态k经过字符c转移到下一个状态的状态函数。
  
那么如果我们希望表示不属于任何一个前一个状态的后缀时，我们就可以使用k'(c)来表示。
  
而k'(c)的计算公式是k'(c) = k(c) - 1。
  
所以减1的目的就是为了表示当前字符不属于任何一个前一个状态的后缀，使用特殊的状态k'来表示这种情况，从而方便进行后续的状态转移计算。
  
通过这种方法，标记重捕法实现了对有限自动机的高效计算。