Abstract:
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.