scientific article; zbMATH DE number 1500542

zbMATH Open0962.68092MaRDI QIDQ4501561FDOQ4501561

Authors: Sebastian Maneth, Joost Engelfriet 

Publication date: 4 September 2000

Title of this publication is not available (Why is that?)

Recommendations

• Macro Tree Translations of Linear Size Increase are MSO Definable
• Macro tree transducers, attribute grammars, and MSO definable tree translations.
• Definability results for top-down tree transducers
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• MSO definable string transductions and two-way finite-state transducers

zbMATH Keywords

macro tree transduction

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Cited In (8)

• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Macro tree transducers, attribute grammars, and MSO definable tree translations.
• GETGRATS: a summary of scientific results (with annotated bibliography)
• The equivalence problem for deterministic MSO tree transducers is decidable
• The complexity of the exponential output size problem for top-down and bottom-up tree transducers
• Macro Tree Translations of Linear Size Increase are MSO Definable
• Title not available (Why is that?)
• Determinacy and Rewriting of Top-Down and MSO Tree Transformations

This page was built for publication:

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