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.

This work presents a machine-checked tree automata library for Standard-ML, OCaml and Haskell. The algorithms are efficient by using appropriate data structures like RB-trees. The available algorithms for non-deterministic automata include membership query, reduction, intersection, union, and emptiness check with computation of a witness for non-emptiness. The executable algorithms are derived ...

This survey reports results on the ambiguity of nite tree automata, the valuedness of bottom{up nite state tree transducers and boundedness of cost automata. 0 Introduction Ambiguity, valuedness and maximal cost are diierent measures on the behaviour of nite state devices. The ambiguity of an automaton is the least upper bound on the number of diierent accepting computations for a given input. ...