2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/140885We show that for every homomorphism $Γ^+ \to S$ where $S$ is a finite semigroup there exists a factorization forest of height $\leq 3 \abs{S}$. The proof is based on Green's relations.4 pagesLogic in Computer ScienceF.4.3text