| Bibliography | Kufleitner, Manfred: A Proof of the Factorization Forest Theorem.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Technical Report Computer Science No. 2007/05.
4 pages, english.
|
|---|
| CR-Schema | F.4.3 (Formal Languages)
|
|---|
| Keywords | semigroup; monoid; factorization forest; Halbgruppe; Monoid; Faktorisierungswald |
|---|
| Abstract | 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.
|
|---|
Full text and
other links | PDF (142834 Bytes)
PostScript (246208 Bytes)
|
|---|
| Contact | manfred.kufleitner@fmi.uni-stuttgart.de |
|---|
| Department(s) | University of Stuttgart, Institute of Formal Methods in Computer Science, Theoretical Computer Science
|
|---|
| Entry date | October 26, 2007 |
|---|