Алгоритмическая разрешимость проблемы выразимости автоматно-отделимых подалгебр термовдоклад на конференции