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