Macro forest transducers

DOI10.1016/J.IPL.2003.05.001MaRDI QIDQ1029068zbMATH OpenOpenAlexFDO

Authors Thomas Perst, Helmut Seidl

Publication date 9 July 2009

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ipl.2003.05.001

zbMATH Keywords

XMLformal languagesmacro tree transducersinverse type inference

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Data structures (68P05)

Recommendations

• Macro tree transducers
• Multi-Return Macro Tree Transducers
• scientific article; zbMATH DE number 1954390
• scientific article; zbMATH DE number 3965457
• scientific article; zbMATH DE number 3972227

Cites work

• scientific article; zbMATH DE number 1200800 (Why is no real title available?)
• scientific article; zbMATH DE number 1953124 (Why is no real title available?)
• scientific article; zbMATH DE number 1954390 (Why is no real title available?)
• scientific article; zbMATH DE number 2080402 (Why is no real title available?)
• scientific article; zbMATH DE number 1792116 (Why is no real title available?)
• A comparison of pebble tree transducers with macro tree transducers
• Macro tree transducers
• Transforming XML Documents using fxt
• Typechecking for XML transformers

Cited in

(14)

• Definability results for top-down tree transducers
• Definability Results for Top-Down Tree Transducers
• On the tree-transformation power of XSLT
• Determinacy and rewriting of functional top-down and MSO tree transformations
• Deciding equivalence of top-down XML transformations in polynomial time
• The time complexity of typechecking tree-walking tree transducers
• Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity
• Deciding origin equivalence of weakly self-nesting macro tree transducers
• Backward type inference for XML queries
• Visibly pushdown transducers with look-ahead
• XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles
• A survey on decidable equivalence problems for tree transducers
• Visibly pushdown transducers
• Polynomial-time inverse computation for accumulative functions with multiple data traversals

This page was built for publication: Macro forest transducers

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