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.