update
This commit is contained in:
parent
ba945f6506
commit
1fd1c934cb
@ -145,7 +145,7 @@ Bestimmen Sie die Nerode-Indizes der Sprachen $L_1$, $L_2$ und $L_1 \cup L_2$ un
|
|||||||
- b eingegeben (akzeptierend)
|
- b eingegeben (akzeptierend)
|
||||||
- Schleife auf sich selbst mit $b$
|
- Schleife auf sich selbst mit $b$
|
||||||
- Übergang zu _a eingegeben_ mit $a$
|
- Übergang zu _a eingegeben_ mit $a$
|
||||||
- $N(L_1 ∪ L_2)
|
- $N(L_1 ∪ L_2)$
|
||||||
- $= 4$
|
- $= 4$
|
||||||
- kein Zeichen eingegeben
|
- kein Zeichen eingegeben
|
||||||
- a eingegeben (akzeptierend)
|
- a eingegeben (akzeptierend)
|
||||||
@ -178,7 +178,7 @@ Bestimmen Sie die Nerode-Indizes der Sprachen $L_1$, $L_2$ und $L_1 \cup L_2$ un
|
|||||||
- Übergang zu _a eingegeben_ mit $a$
|
- Übergang zu _a eingegeben_ mit $a$
|
||||||
- a eingegeben
|
- a eingegeben
|
||||||
- Schleife auf sich selbst mit $a,b$
|
- Schleife auf sich selbst mit $a,b$
|
||||||
- $N(L_1 ∪ L_2)
|
- $N(L_1 ∪ L_2)$
|
||||||
- $= 4$
|
- $= 4$
|
||||||
- Startzustand (akzeptierend)
|
- Startzustand (akzeptierend)
|
||||||
- a eingegeben (akzeptierend)
|
- a eingegeben (akzeptierend)
|
||||||
@ -192,7 +192,7 @@ Bestimmen Sie die Nerode-Indizes der Sprachen $L_1$, $L_2$ und $L_1 \cup L_2$ un
|
|||||||
### 4(d)
|
### 4(d)
|
||||||
Gegeben sei eine Sprache $L_1$ über einem Alphabet $\Sigma$.
|
Gegeben sei eine Sprache $L_1$ über einem Alphabet $\Sigma$.
|
||||||
Wählen Sie eine Sprache $L_2$ über demselben Alphabet $\Sigma$, so dass der Nerode-Index der Sprache $L_1 \cup L_2$ möglichst klein wird. Begründen Sie Ihre Wahl.
|
Wählen Sie eine Sprache $L_2$ über demselben Alphabet $\Sigma$, so dass der Nerode-Index der Sprache $L_1 \cup L_2$ möglichst klein wird. Begründen Sie Ihre Wahl.
|
||||||
- Kleinstmöglicher $N(L_1 ∪ L_2) wenn eins von
|
- Kleinstmöglicher $N(L_1 ∪ L_2)$ wenn eins von
|
||||||
- $L_1 ⊆ L_2$
|
- $L_1 ⊆ L_2$
|
||||||
- $L_2 ⊆ L_1$
|
- $L_2 ⊆ L_1$
|
||||||
- Nichts Neues kommt hinzu, daher muss auch nichts Neues unterschieden werden
|
- Nichts Neues kommt hinzu, daher muss auch nichts Neues unterschieden werden
|
Loading…
x
Reference in New Issue
Block a user