deterministic finite tree automaton