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.