双向字转换器的单向可定义性
形式语言与自动机理论
2023-06-22 v3 计算机科学中的逻辑
摘要
由双向转换器（或等价地，由流式转换器或 MSO 转换）实现的功能转换是字到字的“正则”映射的自然且标准的概念。2013 年的研究表明，此类转换是否可由某个单向转换器实现是可判定的，但所给出的算法具有非初等复杂度。我们提供了一种不同性质的算法来解决上述问题，其空间复杂度为双指数级。在扫描转换器的特殊情形下，复杂度降低一个指数级。我们还展示了如何在双指数或三指数时间内构造等价的单向转换器（若其存在），同样取决于输入转换器是扫描式还是双向式。在扫描式情形下，我们证明了所给构造是最优的。
引用
@article{arxiv.1706.01668,
title = {One-way definability of two-way word transducers},
author = {Félix Baschenis and Olivier Gauwin and Anca Muscholl and Gabriele Puppis},
journal= {arXiv preprint arXiv:1706.01668},
year = {2023}
}