Mengenprobleme < Mengenlehre < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Ausschnitt des Algorithmus:
[mm] $V_{i,j} [/mm] = [mm] V_{i,j} \cup \{A \in V | \exist (A \to BC) \in P \text{ mit } B \in V_{i,k} \text{ und } C \in V_{(k+1),j}\} [/mm] |
Hi Leute!
Dieses [mm] $V_{i,j}$ [/mm] ist eine Zuweisung in einer quadratischen Tabelle, wobei i und j die Zeilen, Spalten sind. P ist die Menge so genannter Produktionen der Form A->BC. Der weitere interessante Teil ist nun das hier: $B [mm] \in V_{i,k} \text{ und } [/mm] C [mm] \in V_{(k+1),j}$.
[/mm]
Wenn nun in [mm] $V_{i,k}$ [/mm] und [mm] $V_{(k+1),j}$ [/mm] jeweils nur ein Element sitzt ist das kein Problem. Wenn aber nun bspw. [mm] in$V_{i,k}$ [/mm] ein Elemente und in [mm] $V_{(k+1),j}$ [/mm] zwei Elemente sitzen, weiß ich nicht mehr wie ich das mengentechnisch berechne. Es ergibt sich dann quasi sowas:
[mm] $\{\{B\} \text{ und } \{A,C\}\}
[/mm]
Was muss ich hier rechnen? Wie übersetze ich das UND? Ist das die Schnittmenge aus [mm] $\{\{B\}$, $\{A,C\}\} [/mm] oder das logische UND? Welche "Endmenge" muss ich dann in [mm] $V_{i,j}$ [/mm] eintragen?
Bei den bisherigen jeweils nur ein-elementigen Teilmengen war das kein Problem. Ich hab dann immer [mm] $\{\{B\} \text{ und } \{C\}\} [/mm] zu "BC" zusammengefasst und dann geschaut ob es eine Produktion in der Menge Produktionen gibt, die auf der rechten Seite "BC" hatten. Wie mache ich das dann hier?
Versteht ihr was ich meine?
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 15:20 Do 23.05.2013 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
