Bibliograph.
Daten | Kufleitner, Manfred: A Proof of the Factorization Forest Theorem.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Technischer Bericht Informatik Nr. 2007/05.
4 Seiten, englisch.
|
|---|
| CR-Klassif. | F.4.3 (Formal Languages)
|
|---|
| Keywords | semigroup; monoid; factorization forest; Halbgruppe; Monoid; Faktorisierungswald |
|---|
| Kurzfassung | 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.
|
|---|
Volltext und
andere Links | PDF (142834 Bytes)
PostScript (246208 Bytes)
|
|---|
| Kontakt | manfred.kufleitner@fmi.uni-stuttgart.de |
|---|
| Abteilung(en) | Universität Stuttgart, Institut für Formale Methoden der Informatik, Theoretische Informatik
|
|---|
| Eingabedatum | 26. Oktober 2007 |
|---|