流式字符串转换器的延迟的正则和完备概念
摘要：有限转导器之间的延迟概念是转导器理论中众多基本结果的核心要素。本文旨在为更复杂的抽象机器提供类似的概念：我们引入了一种量化流式字符串转导器（SST）之间相似性的新延迟概念。我们证明了我们的概念是正则的：我们设计了一个有限自动机，可以检查任意两个SST执行之间的延迟是否小于给定的限制。作为结果，我们的概念具有良好的决策性质：尽管非确定性SST之间的等价性是不可判定的，但我们证明了等价于固定延迟的等价性是可判定的。此外，我们还证明了我们的概念具有良好的完备性属性：我们证明了两个SST是等价的当且仅当它们在某个（可计算的）有界延迟上等价。结合我们延迟概念的正则性，这提供了SST等价性可判定的另一证明。最后，我们延迟概念的定义是机器无关的，因为它只依赖于SST的起源语义。作为推论，完备性结果也适用于等价的机器模型，如确定的双向转导器或MSO转导器。
作者：Emmanuel Filiot, Isma"el Jecker, Christof L"oding, Sarah Winter
论文ID：2205.04287
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-10-21