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