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 Zn =ϕ (X, Y) has a nontrival solution.