scientific article; zbMATH DE number 3972227

MaRDI QIDQ3738591zbMATH OpenFDO

Authors Joost Engelfriet, Heiko Vogler

Publication date 1985

zbMATH Keywords

Higher type tree transducersmacro tree transducerssyntax-directed translationtop-down tree transducers

Mathematics Subject Classification ID

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

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

Cited in

(9)

• Macro forest transducers
• High level tree transducers and iterated pushdown tree transducers
• The OI-hierarchy is closed under control
• Formal efficiency analysis for tree transducer composition
• scientific article; zbMATH DE number 3866600 (Why is no real title available?)
• scientific article; zbMATH DE number 5529981 (Why is no real title available?)
• Categorical Views on Computations on Trees (Extended Abstract)
• Basic tree transducers
• Look-ahead on pushdowns

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)