Развитие одного подхода к построению множества блочных биективных преобразований

Для конечных наборов формул в сигнатуре $\{*,\backslash,/\}$ определяются элементарные преобразования. Приводится конструктивное описание множества таких наборов формул $(w_1,\ldots,w_n)$ от переменных $x_1,\ldots,x_n$, которые при выборе произвольной бинарной квазигруппы (бинарной операции, обратимой по правой переменной) над конечным множеством $\Omega$ реализуют блочные биективные преобразования $\Omega^n\to\Omega^n$. Отдельно рассматриваются наборы формул, вычисления по которым можно проводить, не используя дополнительную память.