Mengen und partielle Ordnungen < Diskrete Mathematik < Hochschule < Mathe < Vorhilfe
|
Status: |
(Frage) beantwortet | Datum: | 17:59 Do 13.12.2018 | Autor: | katze44 |
Aufgabe | Sei M die Menge aller Worte der Länge 1 bis 3 über dem Alphabet {x,y}. Welche der folgenden Relationen sind partielle Ordnungen? Falls die Relation eine partielle Ordnung ist, zeichnen Sie das Hasse-Diagramm. Falls nicht, bilden Sie die transitive und reflexive Hülle und zeichnen dann das Hasse-Diagramm.
a) (a,b) [mm] \in R_{1} [/mm] genau dann, wenn a ein Präfix(d.h "Anfangskette") von b ist.
b) (a,b) [mm] \in R_{2} [/mm] genau dann, wenn a ein Suffix(d.h "Endkette") von b ist.
c) (a,b) [mm] \in R_{3} [/mm] genau dann, wenn a ein Präfix oder ein Suffix von b ist. |
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
Kann mir bitte jemanden helfen zu verstehen, wie ich die Fragen beantworten kann? Was wurde hier gemeint?
Danke!
|
|
|
|
Status: |
(Antwort) fertig | Datum: | 16:42 Fr 14.12.2018 | Autor: | meili |
Hallo katze44
und
Leider weis ich nicht, was du schon über Formale Sprachen, Relationen,
speziell Ordnungsrelationen (partielle Ordnungen), transitive Hülle,
reflexive Hülle und Hasse-Diagramme weist.
Aber nützlich wäre das alles für diese Aufgabe.
Zuerst könnest du die Menge M aufschreiben. Da das Alphabet nur aus zwei
Buchstaben (x und y) besteht und die Menge M aus den Worten der Länge 1 bis 3
besteht, ist das noch übersichtlich und machbar.
Dann solltest du dir einen Überblick über die Relationen [mm] $R_1$, $R_2$ [/mm] und
[mm] $R_3$ [/mm] verschaffen. Da die Relationen Teilmengen von $M [mm] \times [/mm] M$ sind,
lassen sie sich jeweils vollstängig aufschreiben. Ist vielleicht aber nicht nötig.
Dann prüfen, ob die jeweilige Relation reflexiv, antisymmetrisch und transitiv ist.
Wenn bei dir noch Fragen auftauchen, kannst du wieder nachfragen und aufschreiben
wie weit du gekommen bist.
> Sei M die Menge aller Worte der Länge 1 bis 3 über dem
> Alphabet {x,y}. Welche der folgenden Relationen sind
> partielle Ordnungen? Falls die Relation eine partielle
> Ordnung ist, zeichnen Sie das Hasse-Diagramm. Falls nicht,
> bilden Sie die transitive und reflexive Hülle und zeichnen
> dann das Hasse-Diagramm.
> a) (a,b) [mm]\in R_{1}[/mm] genau dann, wenn a ein Präfix(d.h
> "Anfangskette") von b ist.
> b) (a,b) [mm]\in R_{2}[/mm] genau dann, wenn a ein Suffix(d.h
> "Endkette") von b ist.
> c) (a,b) [mm]\in R_{3}[/mm] genau dann, wenn a ein Präfix oder ein
> Suffix von b ist.
> Ich habe diese Frage in keinem Forum auf anderen
> Internetseiten gestellt.
>
> Kann mir bitte jemanden helfen zu verstehen, wie ich die
> Fragen beantworten kann? Was wurde hier gemeint?
> Danke!
Gruß
meili
|
|
|
|