Multi-Return Macro Tree Transducers

  • Kazuhiro Inaba
  • Haruo Hosoya
  • Sebastian Maneth
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5148)


An extension of macro tree transducers is introduced with the capability of states to return multiple trees at the same time. Under call-by-value semantics, the new model is strictly more expressive than call-by-value macro tree transducers, and moreover, it has better closure properties under composition.


State Call Input Tree Output Tree Sentential Form Tree Transducer 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Engelfriet, J., Vogler, H.: Macro tree transducers. JCSS 31, 71–146 (1985)zbMATHMathSciNetGoogle Scholar
  2. 2.
    Fülöp, Z., Vogler, H.: Syntax-Directed Semantics: Formal Models Based on Tree Transducers. Springer, Heidelberg (1998)zbMATHGoogle Scholar
  3. 3.
    Maneth, S., Berlea, A., Perst, T., Seidl, H.: XML type checking with macro tree transducers. In: Principles of Database Systems (PODS), pp. 283–294 (2005)Google Scholar
  4. 4.
    Perst, T., Seidl, H.: Macro forest transducers. IPL 89, 141–149 (2004)CrossRefMathSciNetGoogle Scholar
  5. 5.
    Rounds, W.C.: Mappings and grammars on trees. MST 4, 257–287 (1970)zbMATHMathSciNetGoogle Scholar
  6. 6.
    Thatcher, J.W.: Generalized sequential machine maps. JCSS 4, 339–367 (1970)zbMATHMathSciNetGoogle Scholar
  7. 7.
    Engelfriet, J., Vogler, H.: The translation power of top-down tree-to-graph transducers. JCSS 49, 258–305 (1994)zbMATHMathSciNetGoogle Scholar
  8. 8.
    Mezei, J., Wright, J.B.: Algebraic automata and context-free sets. Inf. Contr. 11, 3–29 (1967)zbMATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Engelfriet, J., Maneth, S.: A comparison of pebble tree transducers with macro tree transducers. Acta Informatica 39, 613–698 (2003)zbMATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    Inaba, K., Hosoya, H.: Multi-return macro tree transducers. In: PLAN-X (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Kazuhiro Inaba
    • 1
  • Haruo Hosoya
    • 1
  • Sebastian Maneth
    • 2
    • 3
  1. 1.University of Tokyo 
  2. 2.National ICTAustralia
  3. 3.University of New South WalesSydney 

Personalised recommendations