О вычислении системы переписывающих правил в конечной группе

Представлен алгоритм, определяющий переписывающую систему конечной группы, заданной фиксированным порождающим множеством. Необходимым условием эффективной реализации алгоритма является наличие быстрой процедуры умножения элементов в группе. Такой групповой операцией может быть композиция подстановок, умножение матриц, вычисление полиномов Холла и т. д. Алгоритм был применён для исследования переписывающих систем в конечных двупорождённых группах периода 5.