The origin semantics for transducers was proposed in 2014, and led to various characterizations and decidability results that are in contrast with the classical semantics. In this paper we add a further decidability result for characterizing transducers that are close to one-way transducers in the origin semantics. We show that it is decidable whether a non-deterministic two-way word transducer can be resynchronized by a bounded, regular resynchronizer into an origin-equivalent one-way transducer. The result is in contrast with the usual semantics, where it is undecidable to know if a non-deterministic two-way transducer is equivalent to some one-way transducer.

中文翻译：

---

文字转换器的单向再同步性

换能器的起源语义是在2014年提出的，它导致了与经典语义相反的各种表征和可判定性结果。在本文中，我们添加了进一步的可判定性结果，用于表征在起源语义上接近单向换能器的换能器。我们表明，可以确定是否可以通过有界的常规重新同步器将非确定性双向单词转换器重新同步为等效于原点的单向转换器。结果与通常的语义形成对比，后者无法确定不确定的双向传感器是否等效于某个单向传感器。