Projekt : Abschlusseigenschaften rationaler Mengen über kommutativen Monoiden
|
|
|
|
|
Prof. Dr. Jantzen, Professor im Ruhestand
Laufzeit: seit 06/2002
Schlagworte: kommutatives Monoid; rationale Menge; semilineare Menge; Multimengen-Durchschnitt; Multimengen-Vereinigung; Multimengen-Subtraktion
Ziele:
Rationale Teilmengen endlich erzeugter kommutativer Monoide kennt man als semilineare Mengen, deren Abschlusseigenschaften in vieler Hinsicht denen der Familie der regulären Mengen in freien Monoiden gleicht. Zusätzlich lassen sich aber weitere Eigenschaften definieren, die bei nicht kommutativen Monoiden keine Entsprechung haben. Semilineare Teilmengen des N^k können als rationale oder auch reguläre Sprachen von Multimengen gesehen werden, wodurch sich die Frage nach der Übertragbarkeit der bekannten Eigenschaften im freien Monoid stellt. Im Projekt wird untersucht, welche Mengen sich durch Anwendung von Multimengen-Durchschnitt, Multimengen-Vereinigung, oder Multimengen-Subtraktion bilden lassen.
Publikationen:
- 2003
-
Matthias Jantzen.
Intersecting multisets and applications to macrosets.
Bericht des Fachbereichs Informatik FBI-HH-B- 247/03, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, 2003. [pdf]