Regular Article
A Comparison of Tree Transductions Defined by Monadic Second Order Logic and by Attribute Grammars

https://doi.org/10.1006/jcss.1999.1684Get rights and content
Under an Elsevier user license
open archive

Abstract

Two well-known formalisms for the specification and computation of tree transductions are compared: the mso graph transducer and the attributed tree transducer with look-ahead, respectively. The mso graph transducer, restricted to trees, uses monadic second order logic to define the output tree in terms of the input tree. The attributed tree transducer is an attribute grammar in which all attributes are trees; it is preceded by a look-ahead phase in which all attributes have finitely many values. The main result is that these formalisms are equivalent, i.e., that the attributed tree transducer with look-ahead is an appropriate implementation model for the tree transductions that are specifiable in mso logic. This result holds for mso graph transducers that produce trees with shared subtrees. If no sharing is allowed, the attributed tree transducer satisfies the single use restriction.

Cited by (0)

f1

E-mail: [email protected]

1

Present address: Department of Computer Science, University of Colorado at Boulder, P.O. Box 430, Boulder, CO 80303. E-mail: [email protected].

2

The second author was supported by ESPRIT BRWG 7183 COMPUGRAPH II and TMR Network GETGRATS.