Domains of Partial Attributed Tree Transducers

The domains of partial attributed tree transducers (patt's) are the tree languages recognized by tree walking automata in universal acceptance mode. Moreover, the domains of patt's having monadic output are the tree languages recognized by deterministic tree walking automata. 2000 Elsevier Science B.V. All rights reserved. Keywords: Formal languages; Attribute grammars; Tree automata 1. Introduction An attribute grammar (ag) [9] can be seen as a device that translates derivation trees of a context-free grammar G 0 into expressions over some signature. Abstracting from G 0 we obtain an attributed tree transducer (att) [5]. An att A is a total deterministic device that translates all trees in T# (the set of trees over a ranked alphabet # , where symbols have a unique rank) into output trees in T# . If we allow A to be a partial att (patt), then the domain of A is a tree language L over # , i.e., a subset of T# . Now the question arises, which tree languages L can be the domain of patt..