On the rank of coefficientless equations in four unknowns in a free semigroup

A survey of definitions of the rank of a coefficientless equation in a free semigroup is given. An algorithm is constructed which for every equation in four unknowns in a free semigroup discerns whether the rank of the equation is three or less than three.
Bibliography: 5 titles.