: It is given a structural conjugacy invariant in the set of pseudowords whose finite factors are factors of a given subshift. Some profinite semigroup tools are developed for this purpose. With these tools a shift equivalence invariant of sofic subshifts is obtained, improving an invariant introduced by B