On equivalence and uniformisation problems for finite transducers

DOI10.4230/LIPIcs.ICALP.2016.125zbMath1388.68170arXiv1602.08565OpenAlexW2962888479MaRDI QIDQ4598267

Emmanuel Filiot, Sarah Winter, Christof Löding, Ismaël Jecker

Publication date: 19 December 2017

Full work available at URL: https://arxiv.org/abs/1602.08565

zbMATH Keywords

equivalenceuniformisationtransducers

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

Unnamed Item, Unnamed Item, Synthesizing Computable Functions from Rational Specifications Over Infinite Words, Unnamed Item, On computability of data word functions defined by transducers, Resynchronizing Classes of Word Relations, One-way resynchronizability of word transducers, Unnamed Item, Unnamed Item, Unnamed Item, Closure properties of synchronized relations, Origin-equivalence of two-way word transducers is in PSPACE, On Synthesis of Resynchronizers for Transducers