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.

中文翻译：

---

自顶向下树传感器组合物的功能是可判定的

我们证明，通过将问题简化为具有前瞻功能的一个自上而下的树传感器的功能，自上而下的树传感器的组合的功能是可判定的。