循环词及其 Parikh 矩阵中的子词计数

词推断问题是确定这样一些语言：其中子词出现次数的信息能够唯一地识别一个词。关于这一问题已有大量工作，但对于循环词而言则不能这么说，尽管后者因应用（例如剪接系统）而日益受到关注。与此同时，Parikh 矩阵是研究子词出现情况的有用工具且已得到充分确立。在本文中，我们提出两种在循环词中计数子词出现次数的方法。随后我们将 Parikh 矩阵的思想推广到循环词的语境中并研究这一推广。受词推断问题的启发，我们研究由 Parikh 矩阵识别循环词时的歧义性。相应地，我们开发了两条重写规则以生成共享相同 Parikh 矩阵的三元循环词。