scientific article; zbMATH DE number 3858450

MaRDI QIDQ3326871zbMATH OpenFDO

Authors Joost Engelfriet

Publication date 1982

zbMATH Keywords

attribute grammarsMacro tree transducerspushdown automatonsyntax-directed semantics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1200800
• A comparison of tree transductions defined by monadic second order logic and by attribute grammars
• Macro tree transducers
• Synthesized and inherited functions. A new computational model for syntax-directed semantics
• High level tree transducers and iterated pushdown tree transducers

Cited in

(24)

• Macro tree transducers
• Pushdown machines for the macro tree transducer
• High level tree transducers and iterated pushdown tree transducers
• Functional description of the contextual analysis in block-structured programming languages: A case study of tree transducers
• Tree transducers with external functions
• The translation power of top-down tree-to-graph transducers
• A comparison of tree transductions defined by monadic second order logic and by attribute grammars
• A bottom-up characterization of deterministic top-down tree transducers with regular look-ahead
• Erratum to: ``Top-down tree transducers with regular look-ahead
• Linking theorems for tree transducers
• Unidirectional Derivation Semantics for Synchronous Tree-Adjoining Grammars
• Tree automata and attribute grammars
• Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms
• scientific article; zbMATH DE number 5529981 (Why is no real title available?)
• Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms — Revisited
• scientific article; zbMATH DE number 5652625 (Why is no real title available?)
• scientific article; zbMATH DE number 1200800 (Why is no real title available?)
• scientific article; zbMATH DE number 6131600 (Why is no real title available?)
• A two-dimensional hierarchy for attributed tree transducers
• Synthesis of deterministic top-down tree transducers from automatic tree relations
• Transcendental syntax I: deterministic case
• Alphabetic and synchronized tree transducers
• Modular tree transducers
• Defining syntax-directed translations by tree bimorphisms

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 Q3326871)