有限值转换器的编辑距离

转换器通过为每个输入词产生输出词来推广自动机，从而在词上定义了一种关系。如果对于某个常数 $k$，一个转换器对于每个输入词最多产生 $k$ 个输出词，则称其为有限值的。如果 $k = 1$，则称该转换器为功能性的。两个转换器之间的编辑距离是指，对于每个输入词，将一个转换器的每个输出转换为另一个转换器的某个输出所需的最少编辑次数。这一概念已在功能性转换器中得到研究，并被证明是可计算的。然而，对于一般的转换器，它是不可计算的。在这项工作中，我们证明了有限值转换器的编辑距离是可计算的，该类转换器的表达能力严格强于功能性转换器。