Decidability of equivalence for linear letter to letter top-down tree transducers

  • Yves Andre
  • Francis Bossut
Part of the Lecture Notes in Computer Science book series (LNCS, volume 710)


In this paper we consider non deterministic linear top-down tree transducers in the letter to letter case, that is to say tree transducers for which trees which appear in the rules are reduced to one letter in the right-hand side as in the left one. We establish the decidability of equivalence for this class of transducers.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    L. Boasson and J.M. Autebert. Transductions rationnelles. Applications aux langages algébriques. Collection ERI, Masson. 1988.Google Scholar
  2. [2]
    A. Arnold and M. Dauchet. Morphismes et bimorphismes d'arbres. Theorical Computer Science 20. 1982.Google Scholar
  3. [3]
    Y. André and M. Dauchet. Decidability of equivalence for a class of non deterministic tree transducers. Publication IT-243 LIFL. University of Lille. 1992. Submitted to Rairo.Google Scholar
  4. [4]
    J. Berstel. Transductions and context-free languages. Teubner Verlag Stuttgart, 1979.Google Scholar
  5. [5]
    S. Bozapalidis. Alphabetic tree relations. TCS 99. pp 177–211. 1992.CrossRefGoogle Scholar
  6. [6]
    J. Doner. Tree acceptors and some of their applications. Journal Computer System Science 4, pp 406–451. 1970.Google Scholar
  7. [7]
    J. Engelfriet. Bottom-up and top-down tree transformations: a comparison. Mathematical system theory. Vol 9. pp 198–231. 1975.CrossRefGoogle Scholar
  8. [8]
    J. Engelfriet. Top-down tree transducers with regular look-ahead. Mathematical System Theory. Vol 10. pp 289–303. 1977.CrossRefGoogle Scholar
  9. [9]
    Z. Esik. Decidability results concerning tree transducers I. Acta Cybernetica, Tom. 5, Fasc. 1, pp 1–20, Szeged, 1980.Google Scholar
  10. [10]
    F. Gecseg and M. Steinby. Tree automata. Akademiai Kiado, Budapest. 1984.Google Scholar
  11. [11]
    H. Seidl. Equivalence of finite-valued bottom-up finite state tree transducers is decidable. Proceeding of CAAP 90, pp 269–284.Google Scholar
  12. [12]
    Z. Zachar. The solvability of the equivalence problem for deterministic frontier-to-root tree transducers. Acta Cybernetica, v.4, 1978, pp 167–177.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Yves Andre
    • 1
  • Francis Bossut
    • 1
  1. 1.L.I.F.L., U.R.A. 369 C.N.R.S.University of Lille 1Villeneuve d'Ascq CedexFrance

Personalised recommendations