Exponential output size of top-down tree transducers

  • Frank Drewes
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1684)


The exponential output size problem for top-down tree transducers asks whether the size of output trees grows exponentially in the size of input trees. In this paper the complexity of this problem is studied. It is shown to be NL-complete for total top-down tree transducers, but DEXPTIME-complete in general.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [AU71]
    Alfred V. Aho and Jeffrey D. Ullman. Translations on a context free grammar. Information and Control, 19:439–475, 1971.CrossRefMathSciNetGoogle Scholar
  2. [Eng82]
    Joost Engelfriet. Three hierarchies of transducers. Mathematical Systems Theory, 15:95–125, 1982.zbMATHCrossRefMathSciNetGoogle Scholar
  3. [FV98]
    Zoltán Fülöp and Heiko Vogler. Syntax-Directed Semantics: Formal Models Based on Tree Transducers. Springer, 1998.Google Scholar
  4. [GS97]
    Ferenc Gècseg and Magnus Steinby. Tree languages. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages. Vol. III: Beyond Words, chapter 1, pages 1–68. Springer, 1997.Google Scholar
  5. [Pap94]
    Christos H. Papadimitriou. Computational Complexity. Addison-Wesley, 1994.Google Scholar
  6. [Rou70]
    William C. Rounds. Mappings and grammars on trees. Mathematical Systems Theory, 4:257–287, 1970.zbMATHCrossRefMathSciNetGoogle Scholar
  7. [Sei94]
    Helmut Seidl. Haskell overloading is DEXPTIME-complete. Information Processing Letters, 52(2):57–60, 1994.zbMATHCrossRefMathSciNetGoogle Scholar
  8. [Tha70]
    James W. Thatcher. Generalized2 sequential machine maps. Journal of Computer and System Sciences, 4:339–367, 1970.zbMATHMathSciNetGoogle Scholar
  9. [Tha73]
    James W. Thatcher. Tree automata: an informal survey. In A.V. Aho, editor, Currents in the Theory of Computing, pages 143–172. Prentice Hall, 1973.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Frank Drewes
    • 1
  1. 1.Department of Computer ScienceUniversity of BremenBremenGermany

Personalised recommendations