Composition Closure of Linear Weighted Extended Top-Down Tree Transducers

Linear weighted extended top-down tree transducers with regular look-ahead and with weights from a semiring are formal models that are used in syntax-based statistical machine translation. The composition hierarchies of some restricted versions of such weighted tree transducers (also without regular look-ahead) are considered. In particular, combinations of the restrictions of \(\varepsilon \)-freeness (all rules consume input), nondeletion, and strictness (all rules produce output) are considered. The composition hierarchy is shown to be finite for all but one \(\varepsilon \)-free variant of these weighted transducers over any commutative semiring.

[1]  Heiko Vogler,et al.  Efficient Inference through Cascades of Weighted Tree Transducers , 2010, ACL.

[2]  J. Golan.  Semirings and their applications , 1999 .

[3]  Zoltán Fülöp,et al.  Weighted Extended Tree Transducers , 2011, Fundam. Informaticae.

[4]  Joost Engelfriet,et al.  Composition Closure of Linear Extended Top-down Tree Transducers , 2013, Theory of Computing Systems.

[5]  Andreas Maletti,et al.  The Power of Weighted Regularity-Preserving Multi Bottom-Up Tree Transducers , 2015, Int. J. Found. Comput. Sci..

[6]  Max Dauchet,et al.  Morphismes et Bimorphismes d'Arbres , 1982, Theor. Comput. Sci..

[7]  Mark Hopkins,et al.  The Power of Extended Top-Down Tree Transducers , 2009, SIAM J. Comput..

[8]  Kevin Knight,et al.  Training Tree Transducers , 2004, NAACL.

[9]  Kevin Knight,et al.  An Overview of Probabilistic Tree Transducers for Natural Language Processing , 2005, CICLing.

[10]  Andreas Maletti,et al.  Survey: Weighted Extended Top-Down Tree Transducers Part III - Composition , 2011, Algebraic Foundations in Computer Science.

[11]  Andreas Maletti,et al.  Compositions of Tree-to-Tree Statistical Machine Translation Models , 2016, DLT.

[12]  Joost Engelfriet,et al.  On Tree Transducers for Partial Functions , 1978, Inf. Process. Lett..

[13]  Joost Engelfriet,et al.  Determinacy and rewriting of functional top-down and MSO tree transformations , 2017, J. Comput. Syst. Sci..

[14]  Joost Engelfriet,et al.  Top-down tree transducers with regular look-ahead , 1975, Mathematical systems theory.

[15]  David Chiang,et al.  An Introduction to Synchronous Grammars , 2006 .