Nondeterministic finite tree automaton