generalized automaton

Мат. обобщенный автомат; автомат над термами; автомат над деревьями