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 |
---|