Modular tree transducers

DOI10.1016/0304-3975(91)90353-4zbMATH Open0729.68018OpenAlexW80136255MaRDI QIDQ807012FDOQ807012

Authors: Joost Engelfriet, Heiko Vogler 

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

Recommendations

• scientific article; zbMATH DE number 4041320
• Tree transducers with external functions
• Basic tree transducers
• Macro tree transducers
• Multi-Return Macro Tree Transducers

zbMATH Keywords

tree transducerprimitive recursion

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42) Recursive functions and relations, subrecursive hierarchies (03D20)

Cites Work

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

Cited In (12)

• The equivalence problem for letter-to-letter bottom-up tree transducers is solvable
• Title not available (Why is that?)
• Deaccumulation techniques for improving provability
• The equivalence of bottom-up and top-down tree-to-graph transducers
• Tree transducers with external functions
• Multi-Return Macro Tree Transducers
• Implementation and Application of Automata
• An implementation of syntax directed functional programming on nested- stack machines
• Implementation of a UU-algorithm for primitive recursive tree functions
• Tree transformations and dependencies
• Streaming Tree Transducers
• A pumping lemma for output languages of macro tree transducers

Uses Software

• ALGOL 60

This page was built for publication: Modular tree transducers

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