论文标题
如何确定自上而下的树传感器组成的功能
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.
