Similar Posts

Subscribe
Notify of
6 Answers
Oldest
Newest Most Voted
Inline Feedbacks
View all comments
MagicalGrill
2 years ago

Und L1 = L2 geschnitten L3 = L3 (????)

Wie kommst du auf diese Gleichung?

Um zu beweisen, dass eine Sprache regulär ist, kannst du ja unterschiedliche Methoden anwenden – z.B. zeigen, dass es für die Sprache einen regulären Ausdruck gibt, oder eine reguläre Grammatik, oder einen DFA… Man kann auch versuchen, Abschlusseigenschaften von regulären Sprachen zu verwenden.

Hier würde ich intuitiv mal mit nem DFA starten: Kannst du einen konstruieren, der die Sprache akzeptiert?

MagicalGrill
2 years ago
Reply to  imsonoah

Mein nächster Vorschlag wären Abschlusseigenschaften:

Wenn du zeigen kannst, dass das Komplement der Sprache regulär ist, ist damit auch die Sprache selbst regulär. Und für das Komplement der Sprache einen regulären Ausdruck zu finden, ist tatsächlich nicht so schwierig.

MagicalGrill
2 years ago

(a|b|c)*abc(a|b|c)* ? 🙂

Ja, nur dass du 0,1,2 statt a,b,c verwenden solltest 😉

Und noch eine Frage: reicht ein regulärer Ausdruck oder Automat als Beweis aus?

Kommt ein bisschen darauf an, wie streng eure Korrekteure sind. Technisch gesehen musst du jetzt halt noch beweisen, dass dein Ausdruck tatsächlich genau das Komplement der Sprache erzeugt. Ich persönlich finde das “offensichtlich”, aber vielleicht sehen das deine Korrekteure anders.