Du bist nicht angemeldet.

Stilllegung des Forums
Das Forum wurde am 05.06.2023 nach über 20 Jahren stillgelegt (weitere Informationen und ein kleiner Rückblick).
Registrierungen, Anmeldungen und Postings sind nicht mehr möglich. Öffentliche Inhalte sind weiterhin zugänglich.
Das Team von spieleprogrammierer.de bedankt sich bei der Community für die vielen schönen Jahre.
Wenn du eine deutschsprachige Spieleentwickler-Community suchst, schau doch mal im Discord und auf ZFX vorbei!

Werbeanzeige

Phil239

Frischling

  • »Phil239« ist der Autor dieses Themas

Beiträge: 79

Beruf: Student

  • Private Nachricht senden

1

18.11.2014, 20:50

Reguläre Sprachen und das Pumping Lemma

Schönen guten Abend!

Unser Professor in Theoretischer Informatik hat uns vor Kurzem das Pumping-Lemma erklärt und natürlich auch bewiesen. Das soll ja anscheinend für alle regulären Sprachen funktionieren. Aber schon in der Vorlesung kam mir folgender Gedanke auf:
Sei die Sprache §L§ über dem Alphabet §\Sigma = \{a,b\}§ definiert als §L=\{aabb\}§. Das müsste ja eine reguläre Sprache sein, weil
  1. §L\subseteq\Sigma^*§
  2. sich §L§ durch einen regulären Ausdruck darstellen lässt, nämlich §(aabb)§
  3. sich §L§ durch einen endlichen Automaten darstellen lässt
  4. ...

Nun zum Pumping-Lemma:

Zitat von »Wikipedia«


Für jede reguläre Sprache L gibt es eine natürliche Zahl n, sodass gilt: Jedes Wort z in L mit Mindestlänge n hat eine Zerlegung z=uvw mit den folgenden drei Eigenschaften:

Die beiden Wörter u und v haben zusammen höchstens die Länge n.
Das Wort v ist nicht leer.
Für jede natürliche Zahl (mit 0) i ist das Wort uv^iw in der Sprache L, d. h. die Wörter uw, uvw, uvvw, uvvvw, usw. sind alle in der Sprache L.


Allerdings kann ich kein Wort z=uvw finden, das höchstens die Länge n hat, wobei v nicht das leere Wort ist, sodass ich die Wörter uw, uvw, uvvw, usw. bilden kann (ist ja auch klar, ich habe ja nur ein Wort in der regulären Sprache).

Heißt das jetzt, dass meine Sprache nicht regulär ist oder dass das Pumping-Lemma falsch ist? :dash:
Der Computer ist die logische Weiterentwicklung des Menschen: Intelligenz ohne Moral.

Schorsch

Supermoderator

Beiträge: 5 145

Wohnort: Wickede

Beruf: Softwareentwickler

  • Private Nachricht senden

2

18.11.2014, 21:46

Guck für das Lemma vielleicht nicht unbedingt auf Wikipedia sondern in dein Skript. Ich habe es nicht mehr richtig im Kopf, meine aber dass es nicht für jede beliebige natürliche Zahl i gelten muss. Mag aber sein dass ich mich da vertue. Was steht denn im Skript dazu?
„Es ist doch so. Zwei und zwei macht irgendwas, und vier und vier macht irgendwas. Leider nicht dasselbe, dann wär's leicht.
Das ist aber auch schon höhere Mathematik.“

birdfreeyahoo

Alter Hase

Beiträge: 756

Wohnort: Schorndorf

Beruf: Junior Software Engineer

  • Private Nachricht senden

3

18.11.2014, 22:37

Muss es auch nicht, es muss nur eine existieren.

David Scherfgen

Administrator

Beiträge: 10 382

Wohnort: Hildesheim

Beruf: Wissenschaftlicher Mitarbeiter

  • Private Nachricht senden

4

18.11.2014, 22:48

@Schorsch, @birdfreeyahoo:
Für alle i, aber nicht für alle n!

Für die betrachtete Sprache kann man n = 5 setzen.
Dann stimmt die Aussage "für alle Wörter mit Mindestlänge 5 ...", denn es gibt keine solchen Wörter. Eine "für alle"-Aussage über eine leere Menge ist immer wahr.

Phil239

Frischling

  • »Phil239« ist der Autor dieses Themas

Beiträge: 79

Beruf: Student

  • Private Nachricht senden

5

19.11.2014, 06:55

Aaahhh, na klar!
An sowas wie n > 4 hab ich gar nicht gedacht.

Danke für die Aufklärung ^^
Der Computer ist die logische Weiterentwicklung des Menschen: Intelligenz ohne Moral.

Werbeanzeige