1: \begin{abstract}

2: 

3: In 1985, Bucher, Ehrenfeucht and Haussler studied derivation relations associated with a given set of context-free rules. 

4: Their research motivated a question regarding homomorphisms from the semigroup of all words onto a finite ordered semigroup. 

5: The question is which of these homomorphisms induce a well quasi-order on the set of all words. We show that this problem is decidable and the answer does not depend on the homomorphism, but it is a property of the ordered semigroup.

6: %We also give some necessary conditions for the property, and establish other sufficient conditions.

7: 

8: 

9: \keywords{finite semigroups  \and

10: well quasi-order \and

11: unavoidable words

12: }

13: \end{abstract}

14: