Uniformization problems for tree-automatic relations and top-down tree transducers

DOI10.4230/LIPICS.MFCS.2016.65MaRDI QIDQ4608628zbMATH OpenOpenAlexFDO

Authors Christof Löding, Sarah Winter

Publication date 21 March 2018

Full work available at URL http://drops.dagstuhl.de/opus/volltexte/2016/6477/pdf/LIPIcs-MFCS-2016-65.pdf/

zbMATH Keywords

uniformizationtree transducerstree-automatic relation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Decidability of theories and sets of sentences (03B25)

Recommendations

• Synthesis of deterministic top-down tree transducers from automatic tree relations
• scientific article; zbMATH DE number 7376069
• On equivalence and uniformisation problems for finite transducers
• Synthesis of deterministic top-down tree transducers from automatic tree relations
• scientific article; zbMATH DE number 6741931

Cited in

(7)

• scientific article; zbMATH DE number 7315101 (Why is no real title available?)
• scientific article; zbMATH DE number 7376069 (Why is no real title available?)
• A uniformization theorem for nested word to word transductions
• Solving a unification problem under constrained substitutions using tree automata
• scientific article; zbMATH DE number 1953124 (Why is no real title available?)
• Synthesis of deterministic top-down tree transducers from automatic tree relations
• Synthesis of deterministic top-down tree transducers from automatic tree relations

This page was built for publication: Uniformization problems for tree-automatic relations and top-down tree transducers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4608628)