1 paper
Sebastian Maneth, Helmut Seidl, Martin Vu
We prove that for a given deterministic top-down transducer with look-ahead it is decidable whether or not its translation is definable (1)~by a linear top-down tree transducer or…