Pumping Lemma - Beispiele und Tricks

Поділитися
Вставка
  • Опубліковано 16 гру 2024

КОМЕНТАРІ • 144

  • @randomacc_delete4614
    @randomacc_delete4614 Рік тому +8

    Vielen Dank! Klausur lief zwar nicht wie erhofft aber zumindest musste ich dank dir nie in die Vorlesung.

  • @nilsmartel2295
    @nilsmartel2295 4 роки тому +34

    Ach Mensch, du bist schon einer der Guten. Wie viel Kraft und Arbeit selbst ein einziges Video kostet kann ich mir denken. Ich hoffe, dass dieser UA-cam Kanal und deine Videos dir ich viel zurückgeben, Leuten wie mir bedeutest du und deine tolle Arbeit sehr viel

    • @NLogSpace
      @NLogSpace  4 роки тому +53

      Vielen Dank für das Lob! :) Freut mich wirklich sehr, das zu lesen!
      Ja, die Videos machen tatsächlich eine Menge Arbeit, mehr als man vielleicht denkt: Strukturierung der Serien, Auswahl der Inhalte, Auswahl der Beispiele, Folien und Bilder überlegen und vorbereiten, Tafelbild überlegen, dann muss ich mir überlegen, was ich sage und welche Aspekte ich betonen will, übe die Texte ein paar mal. Die Roh-Aufnahme selbst ist meistens 2-3 mal so lang wie das endgültige Video, dann Audio nachbearbeiten, Video schneiden, Thumbnail erstellen, hochladen, Videobeschreibung schreiben, Tags eingeben. Je nach Video sind es dann meistens so 4-6 Stunden Arbeit insgesamt.
      Für die investierte Arbeit bekomme ich ehrlich gesagt nicht viel zurück. Gelegentlich bekomme ich solche motivierenden Kommentare und ab und zu sogar Spenden, das freut mich natürlich sehr und motiviert mich dazu, weiter zu machen! Aber auf Dauer ist dieser Kanal für mich zeitlich und finanziell gesehen ein großes Minusgeschäft, und die Aufrufzahlen bei neueren Videos stagnieren. Zugegeben, ich mache keine Werbung für den Kanal, fordere die Zuschauer quasi nie zum Abonnieren, Teilen und Unterstützen auf, denn genau diese Dinge stören mich an anderen Kanälen und ich möchte in meinen Videos einfach 100% Inhalt und nichts anderes haben. Mein Plan war eigentlich, dass ich irgendwann alle Themen abgedeckt habe, die man in einem Bachelorstudium in theoretischer Informatik lernt, und noch viele Themen darüber hinaus. Doch zur Zeit zweifel ich ein bisschen daran, ob das noch ein realistisches Ziel ist.
      Sorry für den langen Text, und nochmal herzlichen Dank dafür, dass Du meine Arbeit wertschätzt! :)

    • @The99monti
      @The99monti 2 роки тому +6

      @@NLogSpace Hallo. Deine Antwort hat mich animiert mein erstes Kommentar auf UA-cam zu verfassen! Ich finde deine mühevolle Arbeit unheimlich stark! Natürlich wäre es aus meiner Sicht durchaus berechtigt, wenn du Werbung schalten würdest - deshalb meinen größten Respekt, dass du deinem Prinzip treu geblieben bist! Danke! Du hast mir mit deinem Videos sehr geholfen! Auch dafür ein herzliches Dankeschön!

  • @44r0n-9
    @44r0n-9 4 роки тому +145

    Prüfung in 1 Stunde. Daumen hoch.

  • @cheekycrex7684
    @cheekycrex7684 4 роки тому +84

    Respekt - hat mehr gebracht als 90min Vorlesung + 270min Tutorien. Richtig stark man, glaube du hast mir für die Prüfung den Arsch gerettet!

    • @florian_d
      @florian_d 2 роки тому

      Wie läufts jetzt im Studium? :)

    • @YSL069
      @YSL069 Рік тому +9

      @@florian_d er hat abgebrochen

  • @f1refly1337
    @f1refly1337 4 роки тому +20

    Wow, nachdem ich jetzt eine halbe Stunde vor dem Skript der Dozentin verzweifelt bin habe ichs endlich verstanden. Super Video, sachlich und verständlich!

  • @josefoalmo1858
    @josefoalmo1858 2 роки тому +7

    also vor deinen videos habe ich schwarz gesehen, aber jetzt sehe ich ein helles Licht! Habe in 3 Wochen meine Klausur in Informatik und das Skirpt ist sehr zäh. Durch deine Videos muss ich sagen, dass alles doch sehr interessant ist und die Informatik mehr als nur programmieren ist!
    Wenn die Klausur bestanden ist, werde ich hierher zurück kehren und mach dir schonmal einen Termin für einen gemeinsamen Döner! Du hast dir absolut einen Döner auf meinen Nacken verdient

    • @NLogSpace
      @NLogSpace  2 роки тому

      Viel Erfolg bei der Prüfung! :)

    • @lillol3245
      @lillol3245 Місяць тому

      Ach, den shit werden 99% der Informatikabsolventen nie wieder sehen im Berufsleben. Unnötiges Siebmodul. Sollte ein Wahlpflichtmodul sein..

  • @NacToYT
    @NacToYT 5 років тому +33

    Extrem gute Erklärung (also die ganze Reihe)
    Ich hoffe, die Prüfung morgen wird dann auch was mit den Tricks

    • @NacToYT
      @NacToYT 5 років тому +2

      Hat super geklappt.
      Ich finde, in der Uni wird es auch nicht wirklich gut beigebracht bzw. vorgestellt. Wenn man das Pumping Lemma nur für das Widerlegen der regulären Sprache verwendet, wieso wird es nicht so umgedreht wie in dieser Reihe?

    • @rhanx8689
      @rhanx8689 5 років тому

      Bruh was meinst du mit umgedreht?

  • @Meodoc
    @Meodoc 4 роки тому +10

    Beste Erklärung mann, hilft echt mal das Gewusel im Skriptum zu verstehen!

  • @SunshineFromWithin
    @SunshineFromWithin Рік тому +1

    Super videos!

  • @mr.parodie7225
    @mr.parodie7225 3 роки тому +2

    Der passiv-aggressive WM witz hat mich zum abonnieren überzeugt haha, viel dank für die guten videos ^^

  • @uwuwaifu101
    @uwuwaifu101 3 роки тому +6

    jeder der das Pumping Lemma für Schule oder Uni je braucht kommt früher oder später hier auf deinem Kanal vorbei, um es zu verstehen :D Vielen Dank @NLogSpace :) Spitze Erklärung - mit noch ein wenig Übung dürfte das jetzt wohl bei mir klappen :D

    • @NLogSpace
      @NLogSpace  3 роки тому +1

      Danke, das freut mich! :)

  • @Cyber_Chriis
    @Cyber_Chriis 3 роки тому +13

    Für den WM Witz bei 1:40 gibts den Like schon vor Ende des Videos :D

  • @oliveryt7168
    @oliveryt7168 3 роки тому +2

    Diese Herangehensweise/ Methode hast du sehr verständlich gestaltet und erklärt. Bravo! :-D

  • @cube2fox
    @cube2fox 6 років тому +171

    Bittere Erkenntnis: Nicht die Erklärungen der Pumping-Beweise sind schlecht, sondern ich bin zu dumm sie zu verstehen.

    • @privatprivat6629
      @privatprivat6629 5 років тому +3

      Ist es normal sowas in der 7 klasse zu lernen

    • @Themasterpeer99
      @Themasterpeer99 5 років тому +68

      @@privatprivat6629 Ja klaro, wir hatten das schon im Kindergarten

    • @tonikaiser2823
      @tonikaiser2823 5 років тому +18

      Ich kannte das schon bevor ich geboren wurde.

    • @evasion4510
      @evasion4510 5 років тому +13

      @@privatprivat6629 Ich kannte es als ich noch im samenleiter von meinem dad war

    • @dazzle5350
      @dazzle5350 5 років тому +17

      Ich kannte es schon, als ich es noch nicht kannte

  • @ziangduan9699
    @ziangduan9699 4 роки тому +2

    sehr guuuuuuuuuuuuuuuuuuuuuuuut! Du hast mein Studium geretted mit solchen tollen Videos!!!

  • @RockyToast94
    @RockyToast94 5 років тому +12

    Richtig gutes Video, vielen Dank 😊 Klausur am Mittwoch ✌🏼

  • @secrety7623
    @secrety7623 5 років тому +5

    Dank dir hab ich es endlich richtig verstanden. Vielen vielen Dank für das tolle Video

  • @anonymouscommentator
    @anonymouscommentator 4 роки тому +1

    Echt vielen Dank, genau nach so einer Erklärung habe ich gesucht!

  • @rebeccah2415
    @rebeccah2415 6 років тому +6

    Super erklärt, vielen Dank! Perfekt als Begleitung zum Uni-Skript :)

    • @privatprivat6629
      @privatprivat6629 5 років тому +1

      Ist es normal sowas in der 8 Klasse zu lernen (14J)

    • @lillol3245
      @lillol3245 Рік тому

      @@privatprivat6629 nein.

  • @resolut1on118
    @resolut1on118 5 років тому +2

    Danke das du für solche Themen Videos machst!

  • @derGerhart
    @derGerhart 2 роки тому

    hat mir tatsächlich was gebracht. das wollte irgendwie wochenlang kein sinn für mich machen. Danke!

  • @FabianReschke
    @FabianReschke 4 роки тому +44

    Das Problem ist immer: Ich verstehe die Beispiele und alles, aber selber drauf kommen würde ich nie :(

    • @abail7010
      @abail7010 4 роки тому

      Will zwar niemand (einschließlich mir) hören aber üben hilft :D

    • @FabianReschke
      @FabianReschke 4 роки тому +7

      @@abail7010 Hab die Klausur bestanden, ab jetzt ist mir das Pumping Lemma eh egal :P
      Das wird mit Sicherheit nicht mein Schwerpunkt

    • @leonda4817
      @leonda4817 4 роки тому +1

      Ist glaub ich normal, geht mir genau so. Man lernt die typischen Beispiele kennen, und schafft dann bei der Klausur ein Ähnliches.

    • @Gereon_
      @Gereon_ 3 роки тому +4

      @@leonda4817 Ist halt wieder dieses typische "für die Klausur lernen". Irgendwie belastend.

  • @julianvelten1304
    @julianvelten1304 4 роки тому +3

    Starke Reihe, danke dir!

  • @herrhupfdohle8227
    @herrhupfdohle8227 6 років тому +4

    Gute Beispiele! Sehr hilfreich, Daumen hoch! Könntest du noch Beispiele für Kontextfreie Sprachen machen? Müssen keine 3 Videos sein, evtl. kurzes Intro mit den Bedingungen (die sind ja so ähnlich wie bei regulären Sprachen) und dann direkt ein paar Beispiele zeigen, das wäre top! :)

    • @NLogSpace
      @NLogSpace  6 років тому +2

      Zum Pumping-Lemma für kontextfreie Sprachen habe ich zwei Videos auf meinem Kanal, darin zeige ich auch einen Beispiel-Beweis. Irgendwann überarbeite ich diese Videos vielleicht auch nochmal, aber zur Zeit haben erstmal andere Themen Priorität.

  • @monhern2
    @monhern2 5 років тому +1

    Sehr gute Beispiele und Erklärung. Danke!

  • @chda8256
    @chda8256 3 роки тому +4

    "Falls nicht, gebt nen Daumen runter."
    Erfrischend :D
    Aber der Daumen zeigt natürlich nach oben.

  • @DaniaMadani
    @DaniaMadani 5 років тому +3

    vielen Dank für die Videos

  • @L0Ls0ul
    @L0Ls0ul 5 років тому +3

    Tolles Video! Bin ich eigentlich der einzige, der es sich anguckt, obwohl er nicht kurz vor ner Klausur ist? :'D

  • @flumi4175
    @flumi4175 5 років тому +1

    So gut erklärt! DANKE

  • @odayzahra6496
    @odayzahra6496 2 роки тому +1

    Vielen Dank für das Video :)

  • @Dacapoelcodaa
    @Dacapoelcodaa Рік тому +1

    viel viel besser als die Vorlessung

  • @philh6316
    @philh6316 5 років тому +1

    Super anschauliche Beispiele! Vor allem vergesse ich immer dass bei den Informatikern die 0 in den Natürlichen Zahlen liegt^^. Nur bei 11:39 ist dir mit der Wortlänge ein kleiner "Fehler" unterlaufen. War ziemlich amüsant weil du vorher meintest: "Das Y hat auch noch'n paar. Ist uns eigentlich egal wie viele hier genau."

  • @Stibitzwegerich
    @Stibitzwegerich 6 місяців тому

    Vielen Dank für das Video

  • @maximscholtz5251
    @maximscholtz5251 3 роки тому +1

    gut erklärt hilfreiches video

  • @luisa1551
    @luisa1551 4 роки тому +3

    I have a question about the first example: based on the lemma, Y has to be different from epsilon, the empty word. But if I choose i=0, Y will be epsilon. Would it be that against the second condition to win the game? Thanks

    • @NLogSpace
      @NLogSpace  4 роки тому +5

      Note that Y and Y^i are two different things! Y can not be the empty word, but Y^i can.

  • @pyuc
    @pyuc 21 день тому

    3:07 ich verstehe einfach nicht warum sich x und y innerhalb der a's befinden. Woran sieht/erkennt man das? Oder ich das einfach eine festgeschriebene Regel, sobald das Pumping Lemma anwendbar ist, sind bei Aufteilung des Wortes in uvw uv immer in den ersten Part des Wortes oder wie ist das zu verstehen?

    • @NLogSpace
      @NLogSpace  21 день тому

      Ja, wir zerlegen das Wort w in drei Teile xyz. Zerlegen bedeutet, dass der erste Teil x ist, dann kommt y und dann kommt z, und wenn man alle drei Teile hintereinanderkonkateniert bekommt man genau das Wort w. Die Begründung habe ich dann genau an der Stelle im Video genannt, und zwar gibt uns das Pumping Lemma die Aussage |xy| < p. Da die ersten p Symbole von unserem Wort nur aus a's bestehen und xy der Anfang des Wortes ist, bestehen x und y nur aus a's.

    • @pyuc
      @pyuc 21 день тому

      @@NLogSpace Okay danke für die Antwort. Mir ist das ganze jetzt schon mal etwas klarer geworden. Aber was ist, wenn unsere Sprache zum Beispiel aus {a^n b^n c^n d^n e^n} besteht. Wie würde dann die Aufteilung hier aussehen bzw. was wäre hier dann xy?

  • @nhatlam96
    @nhatlam96 2 роки тому

    8:59: "y ist höchstens so lang wie p". sei |y| = p, folgt dann |x| = 0 und ist |x| = 0 erlaubt? Gehört das dritte Beispiel zu den schwierigen Aufgaben? Ich wäre nicht darauf gekommen...

  • @dxamphetamin
    @dxamphetamin 4 роки тому +1

    Geiles Video. Vielen Dank

  • @SumbaSlice
    @SumbaSlice 4 роки тому

    Bei 8:23 sagst du, dass aus y ungleich leeres Wort folgt, dass xy^2z strikt größer als xyz ist. Kann es aber nicht auch sein, dass die gleich groß sind, wenn y nämlich genau ein Buchstabe ist? Dann wäre xy^2z nicht strikt größer, sondern nur größergleich xyz. Was habe ich übersehen?

    • @NLogSpace
      @NLogSpace  4 роки тому

      Auch dann ist xy^2z strikt länger als xyz, nämlich einen Buchstaben länger, da das Wort y verdoppelt wurden. Beachte, dass die Schreibweise y^2 nichts mit Exponentialrechnung zu tun hat, sondern y^2 steht einfach für das Wort yy.

    • @SumbaSlice
      @SumbaSlice 4 роки тому

      @@NLogSpace Du hast absolut recht. Genau das war mein Denkfehler. Vielen Dank.

  • @BooBar2521
    @BooBar2521 3 роки тому +1

    wirklich ein klasse video! hab keinen gefunden der das so schön und strukturiert erklärt wie du. Ich verstehe beim letzten beispiel nur leider nicht wieso nun am ende das die länge des wortes keine primzahl sein kann?

    • @NLogSpace
      @NLogSpace  3 роки тому

      Danke!
      Die Länge kann keine Primzahl sein, denn eine Primzahl kann man nicht darstellen als das Produkt von zwei ganzen Zahlen größer 1. Doch genau das haben wir dort gezeigt. Die Länge lässt sich darstellen als das Produkt von |x|+|z| und |y|+1. Beide Zahlen sind mindestens 2. Die erste, weil |xy| höchstens p ist, aber |xyz|=p+2, also |z|>1, und die zweite weil y nicht leer ist.

  • @4538304544
    @4538304544 2 роки тому

    Das Ausklammern bei 12:48 min habe ich leider nicht ganz verstanden .. 😓

    • @NLogSpace
      @NLogSpace  2 роки тому

      Das ist ganz normales Ausklammern, wie man es aus der Schule kennt. Dort steht |x| + |y|*(|x|+|z|) + |z|. Also in der Mitte steht |y| mal die Länge von x und z, und die beiden Summanden vorne und hinten zusammen sind noch ein weiteres mal die Länge von x und z.
      |y| * (|x| + |z|) + 1 * (|x| + |z|) = (|y| + 1) * (|x| + |z|)

  • @cedescc7986
    @cedescc7986 4 роки тому +1

    Meeeeega, vielen vielen vielen dank!

  • @fiNalY4live
    @fiNalY4live 5 років тому +27

    Werd mal bitte Prof. dann habens wenigstens ein paar Studenten gut xD

  • @seydaakkaya3035
    @seydaakkaya3035 5 років тому +2

    Könntest du vll das 3. Beispiel mit dem Prinzip vom 2. Beispiel aufschreiben?

  • @Themogawave
    @Themogawave 5 років тому +2

    Super erklärt, danke dir. Kurze Frage: Hätte man bei Beispiel 2 auch das i=0 setzen können um zu beweisen, dass die Sprache nicht regulär ist?

    • @NLogSpace
      @NLogSpace  5 років тому +2

      i=0 klappt fast immer, allerdings nicht wenn p=1 war. Dann ist nämlich w=a, also die einzig mögliche Zerlegung ist w=xyz mit x=epsilon, y=a, z=epsilon und wenn wir jetzt i=0 setzen, dann ist xy^iz = epsilon, was ein Wort in der Sprache ist. i=2 klappt hingegen immer, da wir das Wort dadurch länger machen und da die "Lücke" von p^2 zu (p+1)^2 groß genug ist, die Lücke zwischen p^2 und (p-1)^2 ist ein bisschen kleiner.

    • @filmfranz
      @filmfranz 5 років тому

      @@NLogSpace wenn i € N, dann ist die kleinste Zahl in N = 1. Daher müsste N als N0 bezeichnet werden wenn es die Null enthält. Oder ist das nur ein regionaler Unterschied?

    • @NLogSpace
      @NLogSpace  5 років тому

      In der Informatik (und auch in meinen Videos) nimmt man oft die 0 zu N dazu.

  • @chrisaes3235
    @chrisaes3235 3 роки тому

    Hey! Darf ich eigentlich im Notfall für p einen Mindestwert annehmen? Oder pfusche ich damit dem Gegner ins Handwerk? Danke! :)

    • @NLogSpace
      @NLogSpace  3 роки тому +1

      Der Gegenspieler wählt eigentlich das p, Du hast also keinen Einfluss darauf. Man kann sich jedoch überlegen, dass die Aussage, die Du für dieses p zeigen musst, monoton in p ist, d.h. wenn Du die Aussage für irgendeine Zahl p zeigen kannst, dann gilt sie auch für alle kleineren Zahlen p.
      Also zusammengefasst: Ja, es reicht, wenn man die Aussage nur für alle p ab irgendeinem Mindestwert zeigt.

    • @chrisaes3235
      @chrisaes3235 3 роки тому

      @@NLogSpace Danke schön :)

  • @sebastiangobel7142
    @sebastiangobel7142 6 років тому +2

    Tolle Erklärung aber warum darf man y = 0 setzen, obwohl wir zuvor festgelegt haben das y ungleich dem leeren Wort sein muss oder unterscheidet sich das nochmal?
    Fände ein paar Beispiele noch sehr hilfreich, welche zeigen das mittels Pumping Lemma keine Aussage über eine Sprache getroffen werden kann.

    • @NLogSpace
      @NLogSpace  6 років тому +2

      y ist ein Wort, d.h. wir können gar nicht "y=0 setzen". Wir setzen auch nirgends y=epsilon (leeres Wort), denn das ist nicht erlaubt. Aber man darf i=0 setzen, das ist der Multiplikator für das y, also wie oft das y im gepumpten Wort auftaucht.

  • @Hubert_Schoelnast
    @Hubert_Schoelnast 4 роки тому

    Zum 1. Beispiel: Der grüne Spieler könnte auch die folgende Zerlegung wählen: x=a^(p+1), y=b, z=b^(p-1). y muss also nicht zwingend (mindestens) ein a enthalten. In diesem Fall ist aber xy^(p)z = a^(p+1)b^(p)b^(p-1) = a^(p+1)b^(2p-1) eine aufgepumpte Version, die erkannt wird, aber nicht zur Sprache gehört.
    Als dritte Möglichkeit könnte der grüne Spieler auch das wählen: x=a^p, y=ab, z=b^(p-2). Das ist aber leicht, denn dann ist xyyz = ....aaababbb... ein ungültiges Wort, das erkannt wird.

    • @NLogSpace
      @NLogSpace  4 роки тому

      Beachte, dass bei beiden Zerlegungen, die Du nennst, die Bedingung |xy| ≤ p verletzt ist. Diese Zerlegungen sind also keine erlaubten Züge für den grünen Spieler. Ich verstehe aber, wie Du darauf kommst: Es gibt verschiedene Formulierungen des Pumping-Lemmas, und manchmal wird die Bedingung |xy| ≤ p weggelassen. Ich arbeite hier aber mit der Version, die im Video links eingeblendet ist, also wo der grüne Spieler die Bedingung |xy| ≤ p erfüllen muss.

  • @huydang6059
    @huydang6059 2 роки тому

    Wie würde man jetzt die Primzahl Aufgabe mir der vorherigen Methode lösen?

  • @njulian.7376
    @njulian.7376 4 роки тому +1

    wie kann man wissen dass die länge von x und y jeweils 3 und 5 bei Beispiel 3 ist.?

  • @Hubert_Schoelnast
    @Hubert_Schoelnast 4 роки тому

    Zum 3. Beispiel: Im Video wird mehrfach gesagt, dass (|x|+|z|) größer als 0 ist. Aber der grüne Spieler kann auch wählen x=ε, y=w, z=ε. Das ist ja eine durchaus erlaubte Wahl. Dann ist aber (|x|+|z|) genau gleich 0. Der Beweis funktioniert dann noch genau so, denn i=0, und xy^(i)z=ε, also das leere Wort mit der Länge 0, und 0 ist ebenfalls keine Primzahl (0 ist durch jede Zahl teilbar).

    • @NLogSpace
      @NLogSpace  4 роки тому +1

      Nein, das ist keine erlaubte Wahl, aus dem gleichen Grund wie bei deinem anderen Kommentar: Der grüne Spieler muss die Bedingung |xy| ≤ p erfüllen und wir haben extra ein Wort der Länge mindestens p+2 gewählt. Er kann also nicht das ganze Wort in y unterbringen.

  • @RoBert-og7jo
    @RoBert-og7jo 6 років тому +1

    Könnte man nicht bei Beispiel 2 auch argumentieren, dass eine reguläre Grammatik nur Produktionen der Form V->uA bzw V->u mit {V,A} Variablen und u Terminal der Länge 1 enthalten darf und man so unmöglich die "Distanz" zwischen den Worten "überbrücken" kann? Vorausgesetzt natürlich, es wird nicht explizit ein Pumping-Lemma-Beweis gefordert? Anyway, vielen vielen Dank für dieses Videos!

    • @NLogSpace
      @NLogSpace  6 років тому

      Man kann mit regulären Grammatiken "Distanzen" zwischen Wörtern überbrücken, z.B. alle Worte, deren Länge durch 3 teilbar ist: S -> aT | epsilon, T -> aR, R -> aS. In dieser Sprache gibt es keine Wörter der Länge 1, keine Wörter der Länge 2, aber ein Wort der Länge 3. Das Problem sind die immer länger werdenden Distanzen. Man könnte sicherlich auch versuchen, direkt zu argumentieren, dass es keine reguläre Grammatik gibt, die die Sprache aus dem Video erkennt. Allerdings müsste man dann auch größere Mengen von Variablen betrachten, nicht nur 2 Stück. Die Anzahl der Variablen entspricht nämlich in etwa der Anzahl der Zustände, die nötig ist, um eine Sprache zu erkennen.

    • @RoBert-og7jo
      @RoBert-og7jo 6 років тому

      @@NLogSpace Ich erkenne meinen Denkfehler, danke für die prompte Antwort!

  • @redma1248
    @redma1248 2 роки тому

    Wäre i=0 im zweiten Beispiel nicht auch eine valide Lösung? Wenn y^i verschwindet dann ist es ja auch nicht möglich die letze potenz zu treffen, da |xy|

  • @Mosil0
    @Mosil0 3 роки тому

    Tolles Video! Beim dritten Beispiel, könnte man es auch irgendwie so argumentieren?
    Es muss immer ein i |x y^(i+1) z| ≡ (r-1) mod (y+1), und daher muss r irgendwann den Wert 0 annehmen.
    Also ohne ein konkretes i zu wählen?

  • @TomasGiaoBarbosa
    @TomasGiaoBarbosa 2 роки тому

    "ANMERKUNG ZU BEISPIEL 3: Ich gebe als Beispiel x=a^3, y=a^2 und z=a^5 an, dann wäre aber xyz=a^10 und 10 ist keine Primzahl, ist also ein schlechtes Beispiel. Stellt Euch einfach vor y=a^3, dann wäre xyz=a^11. Wenn man dann i=|x|+|z|=8 wählt, bekommt man |xy^iz| = 32, was keine Primzahl ist."
    Aber wenn wir uns vorstellen, dass y=a^3 konnten waere es noch leichter einfach zu beweisen, dass es keine regulare Sprache ist oder? Weil wenn y=a^3, und |w|= eine Primzahl ist, wissen wir, dass |w| eine ungerade Zahl oder 2 ist, da wir das Wort ja wahlen, konnen wir einfach sagen, wir nehmen nicht 2 "aa" und dann konnen wir einfach i^2 nehmen, da |w| + |y| immer eine gerade Zahl sein wird und alle gerade Zahlen ausser 2 sind keine Primzahlen

  • @powermax6391
    @powermax6391 2 роки тому

    4:50 etwas irreführend ohne Klammersetzung. (a^n)^2 oder a^(n^2). Erst nachdem Du sagtest, dass 9 a´s ebenfalls in der Sprache, war es klar,

    • @NLogSpace
      @NLogSpace  2 роки тому +1

      Hi powermax. Potenzen sind in der mathematischen Notation grundsätzlich rechtsassoziativ zu lesen, also wenn man a^b^c schreibt, dann ist immer a^(b^c) gemeint. Es wäre also unüblich diese Klammern zu setzen.

    • @powermax6391
      @powermax6391 2 роки тому

      @@NLogSpace hätte lieber Mathe als Zweitfach wählen sollen. ;)

  • @jakobjwdi
    @jakobjwdi 5 років тому +6

    mal ganz nebenbei die nationalmannschaft zerstoert xD

  • @alrahiqalmakhtoum6249
    @alrahiqalmakhtoum6249 3 роки тому

    Hallo, ich brauche Hilfe. Könnte jemand mir helfen? Meine Prüfung nächste Woche.
    Danke

  • @lightblue254
    @lightblue254 5 місяців тому +2

    Grüße raus an die Deutsche Nationalmannschaft :D

  • @aji2847
    @aji2847 4 місяці тому

    Ich verstehe die erste Aufgabe nicht ganz. Wenn i=0 ist, dann ist doch unser y = Epsilon. Hat das jemand verstanden?

    • @NLogSpace
      @NLogSpace  4 місяці тому

      @@aji2847 Die Frage wurde schon mehrfach in den Kommentaren beantwortet!

    • @aji2847
      @aji2847 4 місяці тому

      @@NLogSpace alles klar. Ich hatte vorher durchgescrollt und die Frage nicht auf Anhieb unter den Kommentaren gefunden

  • @thomasdieter9302
    @thomasdieter9302 2 роки тому +1

    Wieso kann er i=0 setzen? y soll doch ungleich dem leeren Wort sein.

    • @NLogSpace
      @NLogSpace  2 роки тому +1

      Das ist kein Widerspruch. y und y^i sind zwei verschiedene Dinge. y ist nicht das leere Wort, aber y^i darf das leere Wort sein, und ist es auch, wenn i=0 ist.

  • @jerome8660
    @jerome8660 4 роки тому

    Bezüglich des ersten Beispiels: Du wählst das Wort a^(p+1)b^p und du beweist, dass dieses Wort nicht in der Sprache ist. Dieses Wort kann aber nur die Form aaabb, aab, aaaabbb, usw. haben. Was ist mit Wörtern wie abaaabab? Oder reicht es ein Gegenbeispiel zu finden, um die Regularität zu beweisen? MfG

    • @Hubert_Schoelnast
      @Hubert_Schoelnast 4 роки тому

      Die gegebene Sprache enthält _ALLE_ Wörter, die mehr a's als b's enthalten. Du sollst beweisen, dass es keinen endlichen Automaten geben kann, der diese Sprache beherrscht. DIe Sprache zu beherrschen heißt: Der Automat kann dir bei jedem beliebigen sagen, ob es zur Sprache gehört, oder ob es nicht zur Sprache gehört. Die Aufgabe lautet daher: "Beweise, dass es keinen endlichen Automaten geben kann, der ALLE Wörter erkennt, die mehr a's als b's enthalten". Der Beweis läuft so ab, dass man dir jeden beliebigen Automaten vorlegen kann. Du muss dann zu diesen Automaten nur ein einziges Wort finden, dass zwar zur Sprache gehört, aber vom Automaten nicht erkannt wird. Dieses eine Wort beweist, dass der Automat, den man dir vorgelegt hat, nicht in der Lage ist, wirklich _ALLE_ Wörter zu erkennen, die zur Sprache gehören. Und weil du ein Schema hat, mit dem es dir gelingt, zu jedem beliebigen Automaten, den man dir gibt, ein Wort zu finden, das beweist, dass der Automat daran scheitern wird, ist damit bewiesen, dass es keinen endlichen Automaten geben kann, der diese Sprache erkennen kann. Dass es Automaten gibt, die ein paar Wörter aus der Sprache erkennen können, macht nichts. Ein Automat erkennt eine Sprach nur dann, wenn er _JEDES_ Wort, das zur Sprache gehört, erkennt, und wenn er zugleich jedes Wort, das nicht zur Sprache gehört, nicht erkennt.

    • @jerome8660
      @jerome8660 4 роки тому

      @@Hubert_Schoelnast Danke für die ausführliche Antwort, bin aber durch mit dem Modul :D Wird hoffentlich noch anderen helfen:)

  • @grippenbube3432
    @grippenbube3432 7 місяців тому

    ich verstehe nicht wie bei den primzahlen aus y^i da y*i wird, weil 3 hoch 3 ist ja nicht = 3 * 3

    • @h8965-d4q
      @h8965-d4q 6 місяців тому

      Weil du hier mit keinen Zahlen rechnest. y^15 würde bedeuten das da 15 mal a steht ^^.

  • @sophiabnrm8730
    @sophiabnrm8730 6 років тому

    Sehr gut und verständlich erklärt! Habe aber eine sicherlich laienhafte Frage zum Beispiel 2:
    Sprachen sind doch regulär, wenn ich einen Automaten für sie finden kann. Nun kann ich doch für a^n^2 einen erstellen, der erst ein 'a' einliest und dann in einen möglichen Endzustand kommt, dann muss er weitere 3 'a' einlesen bis er zu einem Endzustand kommt, dann weitere 5 'a' bis ein Endzustand erreicht ist, etc. Wieso ist die Sprache nun nicht regulär, obwohl sie durch einen Automaten akzeptiert wird?
    Danke im Voraus

    • @NLogSpace
      @NLogSpace  6 років тому +1

      Mrs. Man Der Automat, den du beschreibst, hätte unendlich viele Zustände. Ein endlicher Automat muss aber immer endlich viele Zustände haben.

    • @zeronothinghere9334
      @zeronothinghere9334 5 років тому

      Ich weiß, ist ein bissl late so ein Jahr danach, aber schau mal die anderen Videos auf der Playlist vom Uploader zum Pumping Lemma an, da erklärt er es

  • @alternativ1322
    @alternativ1322 2 роки тому +1

    Warum P+2, ich checks nicht.

  • @MariaSteinbrecher
    @MariaSteinbrecher 7 місяців тому

    was ist eigentlich i?

  • @Littlefighter1911
    @Littlefighter1911 2 роки тому

    3:42 Ich verstehe das noch immer nicht so ganz.
    Wenn der "Gegner" uns die Zerlegung vorgibt.
    Dann kann er uns doch die Zerlegung:
    x= a^p
    y= a
    z = b^p
    vorgeben?
    Aber er gibt sie uns nur mit |xy| kleiner gleich P
    Warum sollte er das machen?

  • @95Coaster
    @95Coaster 4 роки тому +1

    Shots fired at DFB :D

  • @dazzle5350
    @dazzle5350 4 роки тому

    Hey, kleine Frage:
    L = {w1#w2#w3 | w1 != w2 != w3}
    wi element von {1,0}, ist die Sprache kf?
    Ein Freund und ich verzweifeln gerade ein wenig daran, weil das in einer Altklausur gewesen sein soll (angeblich), kommen nämlich auf kein passendes i.
    Ansonsten top Video wie auch der Rest! :)
    Vielen Dank im voraus, Gruß

    • @xGeicher
      @xGeicher 3 роки тому +1

      Hi, wenn L eine reguläre Sprache ist, dann (und nur dann) ist auch das Komplement von L regulär. Mit dem Komplement von L kannst Du einfach zeigen, dass es nicht regulär ist. ( |w1| = p, |w2| = p, |w3| = p)
      Anschließend setzt du i = 2, so dass |w1| != |w2|. Damit is das Komplement von L nicht regulär. Daraus folgt, dass L ebenfalls nicht regulär sein kann.

  • @umurfurkanonbasi5359
    @umurfurkanonbasi5359 2 роки тому

    1:50 WM 2022 auch

  • @Lucas-so2hu
    @Lucas-so2hu 3 роки тому +2

    Erstmal die Nationalmannschaft fronten haha

  • @_n_bl_3998
    @_n_bl_3998 5 років тому

    Hallo :) Könntest du vielleicht folgendes Beispiel nochmal machen bitte:
    L := L((a ∪ b)
    ^∗ · (aa ∪ bb) · (a ∪ b)^* ) ∪ {w ∈ {a, b}^∗ | |w| ist Primzahl}
    Danke

    • @NLogSpace
      @NLogSpace  5 років тому +1

      Habe das Gefühl, dass die einfache Variante des Pumping-Lemmas hier nicht ausreicht. Der Gegner wählt n. Wir haben zwei Optionen:
      1. Wir können ein Wort mit Infix aa oder Infix bb wählen. Aber da die erste Teilsprache regulär ist, wird der Gegner in diesem Fall gewinnen können: Er wählt die Zerlegung so, dass dieses Infix aa oder bb nicht in y liegt, sodass wir es nicht entfernen können und am Ende (nach pumpen) wieder ein Wort aus L erhalten.
      2. Wir wählen ein Wort von Primzahllänge, das nicht das Infix aa und auch nicht das Infix bb hat. Dann muss das Wort also abwechselnd abababab.... sein, die Länge insgesamt eine Primzahl. Nun kann die Gegner jedoch y so wählen, dass es mit dem gleichen Symbol beginnt wie es endet. Damit sorgt er dafür, dass wir egal wie oft wir y wiederholen, oder y weglassen, auf jeden Fall ein Wort mit Infix aa oder Infix bb erzeugen, also wieer ein Wort in L erhalten.
      Also wenn Du zeigen willst, dass diese Sprache nicht erkennbar ist, versuche es mal mit einer stärkeren Version des Pumping-Lemmas (habe ich nicht in meinen Videos vorgestellt) oder mit dem Satz von Myhill-Nerode.

    • @_n_bl_3998
      @_n_bl_3998 5 років тому

      @@NLogSpace Genau. Wir sollten zeigen, dass die Sprache die Pumpingeigenschaft hat und anschließend aber noch, dass sie nicht regulär ist. Mit Myhill - Nerode kommt man wahrscheinlich darauf, dass es unendlich viele Äquivalenzklassen gibt, und die Sprache darauf hin nicht regulär ist. Oder?
      Vielen Dank auf jeden Fall für deine Antwort. :)

  • @nanetteserzfeind9820
    @nanetteserzfeind9820 5 місяців тому

    In einer Stunde Prüfung. Hoffentlich wird das was.

  • @Amin-ve2xs
    @Amin-ve2xs Рік тому +1

    Wenn man so was in der Klausur schreibt, dann erhält man nicht die volle Punkte oder gar Kein Punkt, weil die Argumente fehlen!

  • @ML-wj5wp
    @ML-wj5wp 2 роки тому

    Gutes Fideo

  • @tampelmarta9510
    @tampelmarta9510 3 роки тому

    das video pumping pumpimg lemma lemma lemma lemma lemmm lem lem lem lem lem lem lem lem l

  • @hanktobe
    @hanktobe 5 років тому

    Damn this isnt english

    • @NLogSpace
      @NLogSpace  5 років тому +2

      I have an english channel as well, but there are very few videos so far. No pumping lemma yet, sorry!

    • @hanktobe
      @hanktobe 5 років тому +2

      @@NLogSpace Youre all good I watched this video anyways with auto translate and it helped. Thank you for making the vid

    • @zeronothinghere9334
      @zeronothinghere9334 5 років тому

      @@NLogSpace What do you think about adding dedicated english subtitles?

  • @Seff2
    @Seff2 5 років тому

    von was für einem Gegner gegen den man gewinnen muss redest du? wtf...

    • @NLogSpace
      @NLogSpace  5 років тому +2

      Im vorigen Video "Pumping Lemma - Beweisschema" habe ich erklärt, wie man das Pumping Lemma als ein 2-Personen-Spiel verstehen kann.

  • @zCrouchy
    @zCrouchy 2 роки тому +1

    Super Videos, vielen vielen Dank