Ordnungsrelation < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Aufgabe | Sei $G = (N, T, P, S)$ eine kontextfreie Grammatik. Auf $N$ ist die Relation [mm] \sim [/mm] definiert vermöge
$X [mm] \sim [/mm] Y [mm] :\gdw [/mm] X [mm] \xrightarrow\* [/mm] Y [mm] \wedge [/mm] Y [mm] \xrightarrow\* [/mm] X$.
sowie auf [mm] $N/\sim$ [/mm] die Relation [mm] \rightsquigarrow [/mm] vermöge
$A [mm] \rightsquigarrow [/mm] B [mm] :\gdw \exists [/mm] X [mm] \in [/mm] A, [mm] \exists [/mm] Y [mm] \in [/mm] B$ mit $(X,Y) [mm] \in [/mm] P$.
Zeigen Sie, dass [mm] \sim [/mm] eine Äquivalenzrelation und [mm] \rightsquigarrow\* [/mm] eine Ordnungsrelation ist. [mm] (\rightsquigarrow\* [/mm] ist die reflexiv transitive Hülle von [mm] \rightsquigarrow [/mm] .) |
Hallo,
also den ersten Teil mit der Äquivalenzrelation habe ich bereits aber wie muss ich jetzt bei der Ordnungsrelation vorgehen. Eine Ordnungsrelation ist ja eine spezielle Relation.
Wie müsste ich da jetzt schrittweise vorgehen?
Danke!
lg Kalia
|
|
| |
|
Hallo!
Bitte keine Doppelposts fabrizieren.
Du hast eine identische Frage bereits gestellt.
Frage dort weiter nach oder hole sie mit einer Mitteilung "nach oben"
Gruß
schachuzipus
|
|
|
|
