The macro tree transducer hierarchy collapses for functions of linear size increase

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2914, Issue , 2003, Pages 326-337

  Maneth, Sebastian ^a  

^a EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

FORESTRY; SOFTWARE ENGINEERING; TRANSDUCERS;

TREE TRANSDUCERS;

MACROS;

TRANSDUCERS; TREES;

EID: 35248814780     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24597-1_28     Document Type: Article

References (24)

1. R. Bloem and J. Engelfriet. A comparison of tree transductions defined by monadic second order logic and by attribute grammars. JCSS, 61:1-50, 2000.
2. G. J. Bex, S. Maneth, and F. Neven. A formal model for an expressive fragment of XSLT. Information Systems, 27:21-39, 2002.
3. A. Berlea and H. Seidl. Transforming XML documents using fxt. J. of Computing and Information Technology, 10:19-35, 2002.
4. B. Courcelle. Monadic second-order definable graph transductions: a survey. Theoret. Comput. Sci., 126:53-75, 1994.
5. F. Drewes and J. Engelfriet. Decidability of finiteness of ranges of tree transductions. Inform. and Comput., 145:1-50, 1998.
6. J. Engelfriet and S. Maneth. Macro tree transducers, attribute grammars, and MSO definable tree translations. Inform. and Comput., 154:34-91, 1999.
7. J. Engelfriet and S. Maneth. Output string languages of compositions of deterministic macro tree transducers. JCSS, 64:350-395, 2002.
8. J. Engelfriet and S. Maneth. A comparison of pebble tree transducers with macro tree transducers. Acta Informatica, 39:613-698, 2003.
9. J. Engelfriet and S. Maneth. Macro tree translations of linear size increase are MSO definable. SIAM J. Comput., 32:950-1006, 2003.
10. J. Engelfriet. On tree transducers for partial functions. Informat. Processing Let., 7:170-172, 1978.
11. J. Engelfriet and H. Vogler. Macro tree transducers. JCSS, 31:71-146, 1985.
12. Z. Fülop. On attributed tree transducers. Acta Cybernetica, 5:261-279, 1981.
13. Z. Fülöp and H. Vogler. Syntax-Directed Semantics - Formal Models based on Tree Transducers. EATCS Monographs in Theoretical Computer Science (W. Brauer, G. Rozenberg, A. Salomaa, eds.). Springer-Verlag, 1998.
14. H. Ganzinger and R. Giegerich. Attribute coupled grammars. In Proc. ACM Symp. on Compiler Construction, SIGPLAN Not. 19, pages 157-170, 1984.
15. R. Giegerich. Composition and evaluation of attribute coupled grammars. Acta Informatica, 25:355-423, 1988.
16. F. Gécseg and M. Steinby. Tree languages. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages. Springer-Verlag, 1997.
17. D.E. Knuth. Semantics of context-free languages. Math. Systems Theory, 2:127-145, 1968. (Corrections in Math. Systems Theory, 5:95-96, 1971).
18. A. Kühnemann. Berechnungsstärken von Teilklassen primitiv-rekursiver Programmschemata. PhD thesis, Technical University Dresden, 1997.
19. S. Maneth. The complexity of compositions of deterministic tree transducers. In M. Agrawal and A. Seth, editors, Proc. FSTTCS 2002, volume 2556 of LNCS, pages 265-276. Springer-Verlag, 2002.
20. S. Maneth and F. Neven. Recursive structured document transformations. In R. Connor and A. Mendelzon, editors, Revised Papers DBPL'99, volume 1949 of LNCS, pages 80-98. Springer-Verlag, 2000.
21. T. Milo, D. Suciu, and V. Vianu. Typechecking for XML transformers. J. of Comp. Syst. Sci., 66:66-97, 2003.
22. T. Perst and H. Seidl. Macro forest transducers. To appear in IPL.
23. A. Tozawa. Towards static type checking for XSLT. In Proceeding of the ACM Symposium on Document Engineering, pages 18-27. ACM Press, 2001.
24. V. Vianu. A Web Odyssey: From Codd to XML. In Proc. PODS'2001, pages 1-15. ACM Press, 2001.