Обработка символьной информации (ВЦ АН СССР, 1976)