Об уравнениях над квазигруппами

В статье рассматриваются уравнения в словах с одним неизвестным над конечно-определенными квазигруппами. Задача аналогична соответствующей задаче для групп и полугрупп.
Вопрос об описании множества всех решений произвольного уравнения сводится к описанию множества всех решений уравнения, удовлетворяющего некоторым специальным условиям.
Главный результат статьи заключается в построении алгоритма, который по любому уравнению в словах с одним неизвестным над произвольной конечно-определенной квазигруппой $Q$ описывает множество всех решений этого уравнения в квазигруппе $Q$.
Показано, что множество всех решений уравнения, не являющегося тавтологией, состоит из конечного числа элементов.