双向字变换器的源等价性属于 PSPACE
形式语言与自动机理论
2018-10-08 v3
摘要
我们考虑字变换的等价性与包含问题。当变换是由非确定性变换器实现的字之间关系时，这些问题已知是不可判定的；而当限制为从字到字的函子时变得可判定。此处我们证明，通过采用一种略有不同但自然的语义——称为源语义，由 Bojanczyk 于 2014 年引入——可同样恢复可判定性。具体而言，我们证明在源语义下双向字变换器的等价性与包含问题是 PSPACE 完全的。我们还考虑了一种包含问题的变体，其中双向变换器在源语义下但以更宽松的方式比较，即允许源的扭曲。可能的扭曲通过重同步关系来描述。我们提出了一种用于描述广泛重同步类的逻辑形式体系，同时保持该包含问题变体的可判定性。
引用
@article{arxiv.1807.08053,
title = {Origin-equivalence of two-way word transducers is in PSPACE},
author = {Sougata Bose and Anca Muscholl and Vincent Penelle and Gabriele Puppis},
journal= {arXiv preprint arXiv:1807.08053},
year = {2018}
}