Deterministic finite tree automaton

From Free net encyclopedia