如何确定自顶向下树型传感器组成的功能
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
