Multi-Return Macro Tree Transducers

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

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Engelfriet, J., Vogler, H.: Macro tree transducers. JCSS 31, 71–146 (1985)MATHMathSciNetGoogle Scholar
  2. 2.
    Fülöp, Z., Vogler, H.: Syntax-Directed Semantics: Formal Models Based on Tree Transducers. Springer, Heidelberg (1998)MATHGoogle 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)MATHMathSciNetGoogle Scholar
  6. 6.
    Thatcher, J.W.: Generalized sequential machine maps. JCSS 4, 339–367 (1970)MATHMathSciNetGoogle Scholar
  7. 7.
    Engelfriet, J., Vogler, H.: The translation power of top-down tree-to-graph transducers. JCSS 49, 258–305 (1994)MATHMathSciNetGoogle Scholar
  8. 8.
    Mezei, J., Wright, J.B.: Algebraic automata and context-free sets. Inf. Contr. 11, 3–29 (1967)MATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Engelfriet, J., Maneth, S.: A comparison of pebble tree transducers with macro tree transducers. Acta Informatica 39, 613–698 (2003)MATHCrossRefMathSciNetGoogle 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