字转换器的单向重同步性
形式语言与自动机理论
2021-01-21 v1 计算机科学中的逻辑
摘要
转换器的源语义于2014年提出，并带来了与经典语义形成对比的各种刻画与可判定性结果。在本文中，我们补充一个进一步的可判定性结果，用于刻画在源语义下接近单向转换器的转换器。我们证明，判定一个非确定性双向字转换器是否可被一个有界正则重同步器重同步为一个源等价的单向转换器是可判定的。该结果与通常语义形成对比，在通常语义下，判定一个非确定性双向转换器是否等价于某个单向转换器是不可判定的。
引用
@article{arxiv.2101.08011,
title = {One-way resynchronizability of word transducers},
author = {Sougata Bose and S. N. Krishna and Anca Muscholl and Gabriele Puppis},
journal= {arXiv preprint arXiv:2101.08011},
year = {2021}
}