How to decide Functionality of Compositions of Top-Down Tree Transducers
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.