Большой англо-русский словарь (с транскрипциями) GENERALIZED automaton мат. обобщенный автомат; автомат над термами; автомат над деревьями