Free semigroup with involution