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

Мат. generalized automaton