ISSN:
1433-0490
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
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.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/s002240000135
Permalink