Deterministic finite tree automaton