Helmut Seidl. When Is a Functional Tree Transduction Deterministic?. In Marie-Claude Gaudel and Jean-Pierre Jouannaud, editors, Theory and Practice of Software Development, volume 668 of Lecture Notes in Computer Science, pages 251-265, Orsay, France, April 1993. Springer.
We give a decision procedure to determine whether or not the transduction of a functional transducer can be realized by a deterministic (resp. reduced deterministic) transducer. In case this is possible we exhibit a general construction to build this transducer.
Reference: Bibtex The original publication is available at www.springerlink.com