Tree automaton

A tree automaton is a type of finite state machine. They deal with tree structures, rather than the strings of more conventional finite state machines.

See http://www.grappa.univ-lille3.fr/tata