Linking theorems for tree transducers

DOI10.1016/J.JCSS.2016.05.003MaRDI QIDQ2628796zbMATH OpenOpenAlexFDO

Authors Zoltán Fülöp, Andreas Maletti

Publication date 15 July 2016

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jcss.2016.05.003

zbMATH Keywords

compositionsexpressive powerlinking theoremsynchronous grammartree transducer

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 4108162
• scientific article; zbMATH DE number 1354999
• Equivalence problems for tree transducers: a brief survey
• scientific article; zbMATH DE number 3945364
• scientific article; zbMATH DE number 3858448
• scientific article; zbMATH DE number 6131600
• STACS 2004
• scientific article; zbMATH DE number 4043278
• Equivalence of symbolic tree transducers
• scientific article; zbMATH DE number 3858450

Cites work

• A bottom-up characterization of deterministic top-down tree transducers with regular look-ahead
• Adding nesting structure to words
• Composition closure of -free linear extended top-down tree transducers
• Composition closure of linear weighted extended top-down tree transducers
• Compositions of extended top-down tree transducers
• Extended multi bottom-up tree transducers
• scientific article; zbMATH DE number 3722133 (Why is no real title available?)
• scientific article; zbMATH DE number 3566209 (Why is no real title available?)
• scientific article; zbMATH DE number 3615891 (Why is no real title available?)
• scientific article; zbMATH DE number 941396 (Why is no real title available?)
• scientific article; zbMATH DE number 777478 (Why is no real title available?)
• Language prototyping: An algebraic specification approach
• Linear deterministic multi bottom-up tree transducers
• Macro Tree Translations of Linear Size Increase are MSO Definable
• Morphismes et bimorphismes d'arbres
• Origin tracking
• Statistical Machine Translation
• The Power of Extended Top-Down Tree Transducers
• The power of regularity-preserving multi bottom-up tree transducers
• Top-down tree transducers with regular look-ahead
• Transducers with Origin Information
• Tree transformations and dependencies

Cited in

(4)

• Extended multi bottom-up tree transducers
• Decision problems of tree transducers with origin
• Composition closure of linear extended top-down tree transducers
• When is a bottom-up deterministic tree translation top-down deterministic?

Describes a project that uses

Uses Software

• Moses

This page was built for publication: Linking theorems for tree transducers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2628796)