Following the work done in [O] for groups, we describe, for a given semigroup S, which functions l:S→N can be realized up to equivalence as length functions g↦|g|H by embedding S into a finitely generated semigroup H. We ...