О связи отношения покрываемости с гомоморфизмом в случае детерминированных автоматов

Находятся необходимые и достаточные условия, при которых из отношения $A \leqslant B$ следует существование гомоморфизма автомата $A$ в автомат $B$ и описывается процедура нахождения этого гомоморфизма.