О ранге бескоэффициентных уравнений с четырьмя неизвестными в свободной полугруппе

Дан обзор определений ранга бескоэффициентного уравнения в свободной полугруппе. Построен алгоритм, который по всякому уравнению с четырьмя неизвестными в свободной полугруппе распознает, является оно уравнением ранга три или его ранг меньше трех.
Библиография: 5 названий.