A Proof of the Factorization Forest Theorem

Manfred Kufleitner (1)

1 LaBRI - Laboratoire Bordelais de Recherche en Informatique

We show that for every homomorphism $\Gamma^+ \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.

Mots clés: semigroup; monoid; factorization forest

Domaines: Logique en informatique [cs.LO]; Informatique et langage [cs.CL]

Manfred Kufleitner. A Proof of the Factorization Forest Theorem. 2007. ⟨hal-00182678⟩