Equations with endomorphisms in free semigroups

For equations in free semigroups with three generators, three theorems are proved on the impossibility of constructing an algorithm allowing one to establish existence of solutions with constraints formulated in algebraic terms.