Top-down tree automaton

Redirect to:

• Tree automaton