A Characterization of Attributed Tree Transformations by a Subclass of Macro Tree Transducers

Abstract.

We present a characterization of the class of tree transformations computed by (noncircular) attributed tree transducers, in terms of a subclass of macro tree transducers, called attributed-like macro tree transducers. In fact, we prove formally that attributed tree transducers and attributed-like macro tree transducers generate the same class of tree transformations. Moreover, we prove that it is decidable whether a macro tree transducer is attributed-like.