автомат над деревьями

Мат. generalized automaton