函数 transduction 的连续性：有理函数的预紧研究
形式语言与自动机理论
2023-06-22 v3 计算机科学中的逻辑
摘要
对于语言类~，字到字函数若其逆映射将 语言映到~，则称其对该类语言连续。该概念为 transducer 的代数研究提供了基础，并且是刻画某些电路复杂度类中可计算序列 transducer 的核心。在此，我们报告关于函数 transducer 及若干标准正则语言类的连续性的可判定性。为此，我们发展了植根于正则语言标准预紧分析的一套稳健理论。由于先前 transducer 的代数研究仅关注底层输入自动机的结构，我们也比较了这两种代数方法。我们聚焦于两个问题：自动机结构与连续性性质何时相关，以及连续性何时传播到超类？
引用
@article{arxiv.1802.10555,
title = {Continuity of Functional Transducers: A Profinite Study of Rational Functions},
author = {Michaël Cadilhac and Olivier Carton and Charles Paperman},
journal= {arXiv preprint arXiv:1802.10555},
year = {2023}
}