有限与双向单词上有限换值函数的完备组合语法
计算机科学中的逻辑
2025-02-11 v1 离散数学
形式语言与自动机理论
摘要
最小化有限自动机、证明标记化转移系统的迹等价或表示 Sofic 子系统都涉及非常相似的论证，这暗示了统一形式化的可能性。我们提出将有限状态非确定性换值函数作为 automata 理论、转移系统和 Sofic 子系统的通用语言。我们引入一种用于换值函数的组合图语法，形式为字符串图，解释为关系。这种语法伴随声音的改写规则，允许图式推理。我们的主要结果是该等式理论的完备性，确保语言等价、迹等价或子系统等价始终可以使用我们的改写规则来证明。
引用
@article{arxiv.2502.06450,
title = {Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words},
author = {Titouan Carette and Marc de Visme and Vivien Ducros and Victor Lutfalla and Etienne Moutot},
journal= {arXiv preprint arXiv:2502.06450},
year = {2025}
}