Registrierung Kalender Mitgliederliste Teammitglieder Suche Häufig gestellte Fragen Zur Startseite

Informatiker Board » Themengebiete » Theoretische Informatik » Nfa » Antwort erstellen » Hallo Gast [Anmelden|Registrieren]

Antwort erstellen
Benutzername: (du bist nicht eingeloggt!)
Thema:
Nachricht:

HTML ist nicht erlaubt
BBCode ist erlaubt
Smilies sind erlaubt
Bilder sind erlaubt

Smilies: 21 von 33
smileWinkDaumen hoch
verwirrtAugenzwinkerngeschockt
Mit ZungeGottunglücklich
Forum Kloppebösegroßes Grinsen
TanzentraurigProst
TeufelSpamWillkommen
LehrerLOL HammerZunge raus
Hilfe 
aktuellen Tag schließen
alle Tags schließen
fettgedruckter Textkursiver Textunterstrichener Text zentrierter Text Hyperlink einfügenE-Mail-Adresse einfügenBild einfügen Zitat einfügenListe erstellen CODE einfügenPHP CODE farbig hervorheben
Spamschutz:
Text aus Bild eingeben
Spamschutz

Die letzten 10 Beiträge
Pampelmuse

lol irgendwann wird man auch schlauer.
Also wie mein vorheriger Beitrag nur einzeln.
Besten Dank Tobias
Tobias

Hätte nicht gedacht, dass du so zäh bist. großes Grinsen

[latex]L(M) = \big\{ ... \big\} \cup \big\{ ... \big\} \cup \big\{ ... \big\}[/latex]
So vereinigt man drei Mengen. Eine Vereinigungsoperation innerhalb einer Menge wie bei dir [latex]L(M) = \big\{ uv \cup wx \cup yz \big\}[/latex] ist falsch, denn so bezieht sich ja die Vereinigung auf Wörter und nicht auf Mengen. Auf Wörtern ist aber keine Vereinigung definiert.
Pampelmuse

Also so?
L(M)= {uv Vereinigung wx Vereinigung yz| u element {a}, v element {b}^* ,w element {a}^+, x element {b}^+, y element {a}^*, z element {b}^+}
Tobias

Das kommt der Sache schon näher. Aber warum vereinigst du innerhalb der Mengen? Man vereinigt doch Mengen.
Pampelmuse

w ist doch element Sum^* die Menge aller Wörter über Sum wobei Sum das endliche und nicht leere Alphabet ist.

Aber weiß nicht welche Sprache M akzeptiert.
Versuchs mal:

L(M)= {vw Vereinigung v_1w_1 Vereinigung v_2w_2| v element {a}, w element {b}^* , v_1 element {a}^+, w_1 element {b}^+, v_2 element {a}^*, w_2 element {b}^+}
Tobias

Also bei dir ist w ein Element aus einer Menge von regulären Ausdrücken? Also ist w ein regulärer Ausdruck?

Du schmeißt da ein bisschen was durcheinander.
Pampelmuse

Ah,ok: verwirrt

[latex]L(M) = \big\{ w \; |  \; w \in \{(ab^*),(a^+b^+),(a^*b^+\}  \big\}[/latex]
Tobias

Das ist keine Definition einer Menge. Eine Mengendefinition für a^*b^+ wäre z.B.

[latex]L = \big\{ vw \; | \; v \in \{a\}^\ast, \; w \in \{b\}^+ \big\}[/latex]
Pampelmuse

Ich denke mal :

ab^* Vereinigung a^+b^+ Vereinigung a^*b^+ element L(M)
Tobias

Ja, a* bedeutet beliebig viele a's (inklusive der Möglichkeit kein a)

a^+ kann man dann ausdrücken als aa*. Also beliebig viele a's aber mindestens eins.

Und genau das ist hier der Knackpunkt weshalb es schwierig ist die drei Ausdrücke zusammenzufassen. Aber man kann ja auch eine Sprache als Vereinigung von drei Mengen angeben. Versuch es doch mal.
Es sind weitere Beiträge zu diesem Thema vorhanden. Klicken Sie hier, um sich alle Beiträge anzusehen.