Decidability results for synthesizing rational resynchronizers from functional one-way transducers and regular resynchronizers from unambiguous two-way transducers, with undecidability for relational one-way transducers.
Which classes of origin graphs are generated by transducers? In ICALP'17 , volume 80 of LIPIcs , pages 114:1--114:13
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.FL 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
On Synthesis of Resynchronizers for Transducers
Decidability results for synthesizing rational resynchronizers from functional one-way transducers and regular resynchronizers from unambiguous two-way transducers, with undecidability for relational one-way transducers.