scientific article; zbMATH DE number 3972227

zbMATH Open0602.68076MaRDI QIDQ3738591FDOQ3738591

Authors: Joost Engelfriet, Heiko Vogler 

Publication date: 1985

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

Recommendations

• High level tree transducers and iterated pushdown tree transducers
• Macro tree transducers
• scientific article; zbMATH DE number 3965457
• scientific article; zbMATH DE number 3866600
• Basic tree transducers

zbMATH Keywords

macro tree transducerstop-down tree transducerssyntax-directed translationHigher type tree transducers

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Cited In (9)

• Categorical Views on Computations on Trees (Extended Abstract)
• The OI-hierarchy is closed under control
• Macro forest transducers
• High level tree transducers and iterated pushdown tree transducers
• Basic tree transducers
• Look-ahead on pushdowns
• Title not available (Why is that?)
• Formal efficiency analysis for tree transducer composition
• Title not available (Why is that?)

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