Modular tree transducers

DOI10.1016/0304-3975(91)90353-4zbMath0729.68018OpenAlexW80136255MaRDI QIDQ807012

Heiko Vogler, Joost Engelfriet

Publication date: 1991

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(91)90353-4

zbMATH Keywords

primitive recursiontree transducer

Mathematics Subject Classification ID

Related Items (8)

Tree Transformations and Dependencies ⋮ Implementation of a UU-algorithm for primitive recursive tree functions ⋮ Deaccumulation techniques for improving provability ⋮ The equivalence problem for letter-to-letter bottom-up tree transducers is solvable ⋮ An implementation of syntax directed functional programming on nested- stack machines ⋮ Tree transducers with external functions ⋮ The equivalence of bottom-up and top-down tree-to-graph transducers ⋮ A pumping lemma for output languages of macro tree transducers

Uses Software

• ALGOL 60

Cites Work

• A constructive method for abstract algebraic software specification
• Macro tree transducers
• High level tree transducers and iterated pushdown tree transducers
• The formal power of one-visit attribute grammars
• Attribute grammars and recursive program schemes. I. II
• On primitive recursive wordfunctions
• IO and OI. II
• Generalized sequential machine maps
• Rekursive Wortfunktionen
• A syntax directed compiler for ALGOL 60
• Graph expressions and graph rewritings
• On the power of list iteration
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Bottom-up and top-down tree transformations— a comparison
• Semantics of context-free languages
• Mappings and grammars on trees
• Translations on a context free grammar
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Modular tree transducers