Top-Down Tree Transducers with Deterministic Top-Down Look-Ahead

We introduce a new type of tree transducers called strongly deterministic top-down tree transducer with deterministic top-down look-ahead

[1]  Joost Engelfriet,et al.  On Tree Transducers for Partial Functions , 1978, Inf. Process. Lett..