Pushdown machines for the macro tree transducer
Theoretical Computer Science
Science of Computer Programming
Handbook of formal languages, vol. 3
Acta Cybernetica
Macro tree transducers, attribute grammars, and MSO definable tree translations
Information and Computation
A syntax directed compiler for ALGOL 60
Communications of the ACM
A Web Odyssey: from Codd to XML
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Compiler Design
Syntax-Directed Semantics: Formal Models Based on Tree Transducers
Syntax-Directed Semantics: Formal Models Based on Tree Transducers
A formal model for an expressive fragment of XSLT
Information Systems - Databases: Creation, management and utilization
Jewels are Forever, Contributions on Theoretical Computer Science in Honor of Arto Salomaa
Benefits of Tree Transducers for Optimizing Functional Programs
Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science
Conditions for Efficiency Improvement by Tree Transducer Composition
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
Typechecking for XML transformers
Journal of Computer and System Sciences - Special issue on PODS 2000
XML type checking with macro tree transducers
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Complementing deterministic tree-walking automata
Information Processing Letters
Pebble Macro Tree Transducers with Strong Pebble Handling
Fundamenta Informaticae
Weighted tree-walking automata
Acta Cybernetica
Pebble Macro Tree Transducers with Strong Pebble Handling
Fundamenta Informaticae
Hi-index | 0.00 |
The pebble tree transducer is a model for XML query languages while the macro tree transducer is a well-known model for syntax-directed semantics. We consider their combination, called pebble macro tree transducer (using outside-in semantics). We define weakly circular, circular and strongly circular pebble macro tree transducers and show that each of these circularity problems for pebble tree macro transducers are decidable. We consider composition and decomposition of pebble macro tree transformations. We show that (1) every not weakly circular deterministic n-pebble macro tree transformation can be decomposed into a noncircular deterministic n-pebble tree transformation and a partial deterministic yield tree transformation and (2) every not weakly circular context-linear n-pebble macro tree transformation can be decomposed into a noncircular n-pebble tree transformation and a partial deterministic yield tree transformation. We use these results to give a partial solution to an open problem. Namely, we show that (1) the class of not weakly circular deterministic 0-pebble macro tree transformations is a subset of the two-fold composition of the class of noncircular deterministic 0-pebble tree transformations and (2) the class of not weakly circular context-linear 0-pebble macro tree transformations is a subset of the two-fold composition of the class of noncircular 0-pebble tree transformations. Finally, we show that the compositions of pebble tree transformations and yield tree transformations are pebble macro tree transformations.