An algebraic definition of attributed transformations

  • Miklós Bartha
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 117)


A general concept of attributed transformation is introduced. It is shown that the domain of attributed tree transformations is a regular tree language, and an alternative proof is given for the decidability of the K-visit property of deterministic attributed tree transducers. Finally some closure properties are investigated concerning the composition of attributed tree transformations.


Closure Property Tree Automaton Deterministic Part Tree Transducer Unique Node 
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]
    Arnold, A., Dauchet, M., Theorie des magmoides, Preliminary work to the authors' theses, Univ. de Lille, France, 1977.Google Scholar
  2. [2]
    Dauchet, M., Transductions de forets, bimorphismes de magmoides, These, Univ. de Lille, France, 1977.Google Scholar
  3. [3]
    Wright, J.B., Thatcher, J.W., Wagner, E.G., Goguen, J.A., Rational algebraic theories and fixed-point solutions, 17-th IEEE Symposium on Foundations of Computing, Houston, 1976, pp. 147–158.Google Scholar
  4. [4]
    Chirica, L.M., Martin, D.F., An order-algebraic Definition of Knuthian Semantics, Math. Systems Theory, v. 13, 1979, pp. 1–27.Google Scholar
  5. [5]
    Riis, H., Skyum, S., k-Visit attribute grammars, DAIMI PB-121, Aarhus University, Denmark, 1980.Google Scholar
  6. [6]
    Fülöp, Z., Attribute grammars and attributed tree transducers, 15-th National Scientific Conference for Students, Budapest, Hungary, 1981.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • Miklós Bartha
    • 1
  1. 1.Department of Computer ScienceUniversity of SzegedSzeged

Personalised recommendations