Tree automata and separable sets of input variables

Slavcho Shtrakov, Vladimir Shtrakov

We consider the computational complexity of tree transducers, depending on their separable sets of input variables.