关于 transducer 重同步器的综合
形式语言与自动机理论
2019-06-26 v2
摘要
我们研究两种允许在 origin 语义下比较字上 transducer 的形式体系:有理重同步器与正则重同步器,并表明前者被后者所刻画。随后我们考虑如下综合问题的一些实例:给定 transducer T1、T2,构造有理(相应为正则)重同步器 R(若存在),使得在 origin 语义下 T1 包含于 R(T2) 中。我们表明,对于函数式甚至有限值单向 transducer,有理重同步器的综合是可判定的,而对于关系型单向 transducer 是不可判定的。在双向设定中,对于无歧义双向 transducer,正则重同步器的综合被证明是可判定的。对于更大类的双向 transducer,其可判定性状态是开放的。
引用
@article{arxiv.1906.08688,
title = {On Synthesis of Resynchronizers for Transducers},
author = {Sougata Bose and Shankara Narayanan Krishna and Anca Muscholl and Vincent Penelle and Gabriele Puppis},
journal= {arXiv preprint arXiv:1906.08688},
year = {2019}
}