Deterministic tree automaton