On $F$-semigroups with three generators

All $F$-semigroups (i.e., semigroups isomorphic to finitely generated subsemigroups of a free semigroup) with three generators are finitely defined. The necessary and sufficient condition is obtained for which the equation in the words $Z^n=\varphi(X,Y)$ has a nontrival solution.