Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Formale Sprache

Formale Sprache

Universität / Fachhochschule

Sonstiges

Tags: Sonstig

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
Studiosus314

Studiosus314 aktiv_icon

13:13 Uhr, 16.11.2019

Antworten
Gegeben sei die formale Sprache
L= {ab}^∗ ∪ {a} · ({a} · {a, ab})^∗· {"bb"}
über dem Alphabet A={a,b}.

a) Geben Sie alle Wörter aus L an, deren Länge höchstens 4 ist.
b) Gilt ε ∈ L+?
c) Geben Sie drei verschiedene Wörter w1,w2,w3L ohne L an.


Ansatz:
Also, wenn ich das richtig verstanden habe, kommt für a.) nur das leere Wort in Frage.

Für die b.) gilt laut Definition das leere Wort gehört nicht zu L+

Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert):
"Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen."
Online-Nachhilfe in Mathematik
Antwort
Nick76

Nick76 aktiv_icon

13:44 Uhr, 16.11.2019

Antworten
Zu a):

Laut Definition von L gehören alle Wörter der Form {ab}^* zu L,

also sind z.B. "ab" und "abab" Wörter von L mit Länge 4.

zu b): das ist korrekt, L+ bezeichnet die Menge aller nicht leeren Wörter von L.


Studiosus314

Studiosus314 aktiv_icon

13:50 Uhr, 16.11.2019

Antworten
ich glaube das ist falsch, da {"bb"} in der formalen Sprache ist, müssen alle Wörter auf "bb" enden.
und in {ab}^* befindet sich das leerte Wort, also befindet es sich in L und somit auch in L+
Antwort
Nick76

Nick76 aktiv_icon

13:59 Uhr, 16.11.2019

Antworten
So wie Du es notiert hast ist L die Vereinigung von {ab}^* und {a}·({a}·{a, ab})^∗·{"bb"}.
Das heißt die Wörter "ab" und "abab" gehören zu L und haben eine Länge 4.

Studiosus314

Studiosus314 aktiv_icon

15:06 Uhr, 16.11.2019

Antworten
da sie nicht auf "beh beh" enden, denke ich, dass das nicht stimmen kann...
Antwort
Nick76

Nick76 aktiv_icon

15:45 Uhr, 16.11.2019

Antworten
Warum müssen sie auf "bb" enden? Stimmt die Definition von L?

Studiosus314

Studiosus314 aktiv_icon

22:05 Uhr, 16.11.2019

Antworten
Oje, du hast recht.
Kannst du mir kurz Schritt für Schritt erklären, warum abab ein mögliches Wort ist, aber nicht aabb?
Antwort
Nick76

Nick76 aktiv_icon

19:12 Uhr, 17.11.2019

Antworten
Also wenn Deine Definition von L stimmt, dann besteht diese Sprache aus allen Wörtern
die sich aus den regulären Ausdrücken {ab}^* und a(a{a,ab})^∗{bb} bilden lassen.
Ich habe hier der Einfachheit halber die geschweiften Klammern um ein einzelnes a
weggelassen.
Die Wörter von {ab}^* erhälst Du, indem du "ab" beliebig oft hintereinander schreibst (kein mal zählt auch):

ε, ab, abab, ababab...

Angewendet auf den 2. Ausdruck a(a{a,ab})^*{bb} heißt das, dass damit alle Wörter erzeugt
werden können die mit einem a anfangen, gefolgt von beliebig vielen Wiederholungen von
a{a,ab} und zum Schluss "bb".

Mit 0 Wiederholungen in der Mitte wird "abb" erzeugt, mit einer "aaabb" oder "aaabbb" und so fort.

Da nur nach Wörtern der Länge 4 gefragt wird erhält man insgesamt:

ε, "ab", "abab", "abb".

Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.