Polynomial-time algorithm for fixed points of nontrivial morphisms

A word w is a fixed point of a nontrivial morphism h if w = h ( w ) and h is not the identity on the alphabet of w . The paper presents the first polynomial algorithm deciding whether a given finite word is such a fixed point. The algorithm also constructs the corresponding morphism, which has the smallest possible number of non-erased letters.