A top - down automaton starts in some of its initial states at the root .
A top - down automaton moves downward along branches of the tree , associating along a run a state with each subterm inductively .
A top - down automaton starts in some of its initial states at the root and moves downward along branches of the tree , associating along a run a state with each subterm inductively .