On finitely generated subsemigroups of a free semigroup

A finitely generated semigroup S given by generators and the set of relations between these generators is called an F-semigroup if it is isomorphic to a subsemigroup of a free semigroup. In this paper three theorems concerning F-semigroups are proven and some unsolved problems are presented.