References & Citations
Computer Science > Formal Languages and Automata Theory
Title: How to decide Functionality of Compositions of Top-Down Tree Transducers
(Submitted on 2 Sep 2022)
Abstract: We prove that functionality of compositions of top-down tree transducers is decidable by reducing the problem to the functionality of one top-down tree transducer with look-ahead.
Link back to: arXiv, form interface, contact.