Пусть Q — произвольное конечное множество, Q(Q) —семейство всех бинарных квазигрупп, определенных на множестве Q, и y F : Qn ^ Qn — отображение, реализуемое сетью У ширины n £ N с одной бинарной операцией F £ Q(Q). В работе определяются условия k-транзитивности множества преобразований { y F : F £ Q(Q)}, предлагается эффективный способ проверки k-транзитивности этого множества и приводятся параметры результата работы алгоритма построения таких сетей У, у которых множество преобразований {y F : F £ Q(Q)} является k-транзитивным.
