scientific article; zbMATH DE number 3866600
From MaRDI portal
Publication:3334094
Recommendations
- A characterization of attributed tree transformations by a subclass of macro tree transducers
- scientific article; zbMATH DE number 1500542
- Macro tree transducers
- Pushdown machines for the macro tree transducer
- A pumping lemma for output languages of macro tree transducers
- Characterizing attributed tree translations in terms of macro tree transducers
- scientific article; zbMATH DE number 4033114
- scientific article; zbMATH DE number 3972227
- scientific article; zbMATH DE number 1332630
- Characterizing important subclasses of attributed tree transformations by macro tree transducers
Cited in
(6)- High level tree transducers and iterated pushdown tree transducers
- Macrotransducers and applicative systems for partially continuous functions
- scientific article; zbMATH DE number 3972227 (Why is no real title available?)
- scientific article; zbMATH DE number 5506094 (Why is no real title available?)
- Pushdown machines for the macro tree transducer
- Macro Tree Translations of Linear Size Increase are MSO Definable
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 Q3334094)