Top-down tree automaton

From Free net encyclopedia