Theoretische und technische Informatik - ganz praktisch - Letzte Aktivität in PUM-AA https://info2.aifb.kit.edu/qa/index.php?qa=activity&qa_1=pumping-lemma&qa_2=pum-aa Powered by Question2Answer Beantwortet: Pumping Lemma 2018-H-03 https://info2.aifb.kit.edu/qa/index.php?qa=7303&qa_1=pumping-lemma-2018-h-03&show=7305#a7305 Hey uuuah,<br /> <br /> das Wort geht selbstverständlich auch und mit i=0 liegt ist das Wort nicht mehr in der Menge, also hast du gezeigt, dass es keine rechtslineare Sprache ist.<br /> <br /> Viele Grüße und viel Erfolg beim weiteren Lernen :) PUM-AA https://info2.aifb.kit.edu/qa/index.php?qa=7303&qa_1=pumping-lemma-2018-h-03&show=7305#a7305 Tue, 09 Mar 2021 09:34:43 +0000 Beantwortet: Pumping-Lemma Wortwahl https://info2.aifb.kit.edu/qa/index.php?qa=6993&qa_1=pumping-lemma-wortwahl&show=7227#a7227 Hallo uoioh,<br /> <br /> da das Pumping Lemma ein Widerspruchsbeweis ist, genügt es hier, einen möglichen Aufbau des Wortes zu verwenden und für diesen zu zeigen, dass die Bedingungen dafür nicht alle erfüllt sind. Hat man es für ein Wort bewiesen, ist der Widerspruch erfüllt.<br /> <br /> Ich glaube, das mit dem Testen des einzigen Wortes hast du falsch verstanden. Es genügt uns, für ein Wort zu zeigen, dass alle möglichen Zerlegungen in x, y und z dazu führen, dass eine der drei Bedingungen (1), (2) oder (3) nicht erfüllt ist.<br /> <br /> Ein Problem gibt es nur, wenn du ein Wort wählst, und die Bedingungen nach dem Pumpen zufällig immer noch alle korrekt sind. Das ist bei den Aufgaben im Normalfall aber nicht so.<br /> <br /> Viele Grüße<br /> Hannah (Tutorin) PUM-AA https://info2.aifb.kit.edu/qa/index.php?qa=6993&qa_1=pumping-lemma-wortwahl&show=7227#a7227 Mon, 10 Feb 2020 14:52:22 +0000 Beantwortet: Kommt PPL für Kontextfreie Grammatik dran oder nicht? https://info2.aifb.kit.edu/qa/index.php?qa=7152&qa_1=kommt-ppl-f%C3%BCr-kontextfreie-grammatik-dran-oder-nicht&show=7153#a7153 <p> Wurde schon mehrmals beantwortet -<strong>&nbsp;ja</strong>, es ist klausurrelevant!</p> PUM-AA https://info2.aifb.kit.edu/qa/index.php?qa=7152&qa_1=kommt-ppl-f%C3%BCr-kontextfreie-grammatik-dran-oder-nicht&show=7153#a7153 Sat, 08 Feb 2020 10:36:00 +0000 Beantwortet: Pumping Lemma Beweisführung welche Sprachen ? https://info2.aifb.kit.edu/qa/index.php?qa=6857&qa_1=pumping-lemma-beweisf%C3%BChrung-welche-sprachen&show=6858#a6858 Hallo,<br /> <br /> es gibt zwei Arten des Pumping Lemma. Eins für reguläre Sprachen und eins für kontextfreie Sprachen. Bisher habt ihr nur das für reguläre Sprachen kennengelernt. Das Semester ist aber noch nicht vorbei.<br /> <br /> Viele Grüße<br /> <br /> Niklas (Tutor) PUM-AA https://info2.aifb.kit.edu/qa/index.php?qa=6857&qa_1=pumping-lemma-beweisf%C3%BChrung-welche-sprachen&show=6858#a6858 Sun, 05 Jan 2020 06:47:07 +0000 Antwort ausgewählt: Zusammenhang der kontextfreiensprache in Grammatik in Bezug zum PPL https://info2.aifb.kit.edu/qa/index.php?qa=6708&qa_1=zusammenhang-der-kontextfreiensprache-grammatik-bezug-zum&show=6711#a6711 <p> Hallo uzmzu,</p> <p> mit dem PPL kannst du ja nur prüfen, ob eine Sprache&nbsp;<strong>nicht</strong> zu L1 (bzw. L3) gehört.&nbsp;<br> Es kann natürlich sein, dass du nur eine Pumpstelle bei deiner Sprache hast, es ist ja nur Vorrausgesetzt, das bei z = uvwxy, |z| &gt;= n und die Pumpstellen v,x mit |vx| &gt;= 1 sein (und der dritten Bedingung). Also kann v oder x auch lamda sein.</p> <p> Und natürlich können die Pumpstellen auch unterschiedlich oft gepumpt werdem. Aber man kann sie auch gleich oft pumpen und das gepumpte Wort muss immer noch in der Sprache sein. Also nur ein spezieller Fall.&nbsp;</p> <p> Dein Beispiel gehört zu L1, deshalb kann man mit dem PPL nicht zeigen, dass es nicht zur Sprache gehört</p> <p> Es ist einfach nur das Vorgehen des PPL, dass es zwei Pumpstellen gibt, die gleich oft gepumpt werden. Deine angebrachten Punkte von dir sind für die Realisierung der individuellen Wörter des Sprache richtig.</p> <p> Ich hoffe ich konnte dir weiterhelfen. Wenn es noch Unklarheiten gibt, schreibe einfach noch mal.</p> <p> Viele Grüße</p> <p> Anne (Tutor)</p> PUM-AA https://info2.aifb.kit.edu/qa/index.php?qa=6708&qa_1=zusammenhang-der-kontextfreiensprache-grammatik-bezug-zum&show=6711#a6711 Sat, 09 Feb 2019 11:17:02 +0000 Beantwortet: Antwort Formulierung https://info2.aifb.kit.edu/qa/index.php?qa=5659&qa_1=antwort-formulierung&show=5672#a5672 Am besten du gehst das Pumping Lemma ganz formal durch. Mit allen Annahmen und Bedingungen. Falls du nicht weiterkommst kannst du auch deine Idee aufschreiben, wie du weiter vorgehen würdest. Das gibt mit Sicherheit nicht die volle Punktzahl, hilft uns aber deinen Gedankengang besser nachzuvollziehen.<br /> <br /> Grüße, Felix (Tutor) PUM-AA https://info2.aifb.kit.edu/qa/index.php?qa=5659&qa_1=antwort-formulierung&show=5672#a5672 Sun, 12 Feb 2017 12:49:11 +0000 Kommentiert: Reicht ein speziefisches Wort zur Widerlegung des Pumpinglemmas? https://info2.aifb.kit.edu/qa/index.php?qa=5033&qa_1=reicht-ein-speziefisches-wort-widerlegung-pumpinglemmas&show=5036#c5036 Schauen Sie sich mal das entsprechende Kapitel im Lehrbuch an (ab Seite 207). Wir haben diesen Teil besonders ausführlich beschrieben, weil Studierende immer wieder Probleme mit dieser &quot;umgekehrten&quot; Argumentation beim PPL haben.<br /> <br /> Das ist natürlich auch für die Klausur ein wichtiges Thema! PUM-AA https://info2.aifb.kit.edu/qa/index.php?qa=5033&qa_1=reicht-ein-speziefisches-wort-widerlegung-pumpinglemmas&show=5036#c5036 Thu, 26 Jan 2017 09:17:11 +0000 Antwort ausgewählt: Ausreichender Beweis https://info2.aifb.kit.edu/qa/index.php?qa=4843&qa_1=ausreichender-beweis&show=4844#a4844 Na ja, fast. Ganz am Ende werden Sie ein bisschen schlampig mit den Bezeichnungen - $w$ ist oben gleich $0^n1^n$, da kann es unten nicht plötzlich $0^{n-k}1^n$ sein, zumindest, solange $k \geq 1$. Das können Sie stattdessen meinetwegen $w'$ nennen oder so.<br /> <br /> Ansonsten ist der Beweis aber in Ordnung. PUM-AA https://info2.aifb.kit.edu/qa/index.php?qa=4843&qa_1=ausreichender-beweis&show=4844#a4844 Sat, 14 Jan 2017 15:16:55 +0000 Beantwortet: Pumping-Lemma https://info2.aifb.kit.edu/qa/index.php?qa=4156&qa_1=pumping-lemma&show=4158#a4158 Der Beweis muss korrekt sein. So allgemein, wie Sie das gerne hätten, kann man die Frage nicht beantworten. Machen Sie mal ein Beispiel, dann können wir darüber diskutieren, ob es korrekt ist.<br /> <br /> (Erfahrungsgemäß machen es sich Studenten, die so, wie es Ihre Frage andeutet, an Beweisverfahren herangehen, eher zu einfach. Ein Beweis muss lückenlos sein, da gibt es keine Kompromisse. Das heißt nicht, dass es sehr viel Text sein muss, es muss auch nicht alles formal aufgeschrieben werden - aber es muss präzise dargelegt werden, warum das Pumpen in dem jew. Fall nicht möglich ist.)<br /> <br /> Viele Grüße<br /> <br /> Lukas König PUM-AA https://info2.aifb.kit.edu/qa/index.php?qa=4156&qa_1=pumping-lemma&show=4158#a4158 Thu, 11 Feb 2016 09:55:02 +0000 Antwort ausgewählt: Definitionsbereiche von n bei PPL https://info2.aifb.kit.edu/qa/index.php?qa=4080&qa_1=definitionsbereiche-von-n-bei-ppl&show=4082#a4082 Es handelt sich bei beiden PPLs um große $n$ (vor allem um mit dem gewählten Automaten oder der gewählten Grammatik wachsende $n$) - ob die 0 dabei ist oder nicht ist völlig irrelevant.<br /> <br /> Im Fall von EA muss das $n$ mindestens so groß sein wie die Anzahl der Zustände eines EA - EAs mit $0$ Zuständen wären nicht einmal theoretisch wohldefiniert. Bei Grammatiken wächst das $n$ sogar exponentiell mit der Anzahl der Nonterminale - und auch hier darf es nicht $0$ Nonterminale geben. PUM-AA https://info2.aifb.kit.edu/qa/index.php?qa=4080&qa_1=definitionsbereiche-von-n-bei-ppl&show=4082#a4082 Tue, 09 Feb 2016 17:31:00 +0000 Bearbeitet: PPL für jede Zerlegung ? https://info2.aifb.kit.edu/qa/index.php?qa=1503&qa_1=ppl-f%C3%BCr-jede-zerlegung&show=1503#q1503 <div class="ilFrmPostContent"> <p> <strong>EDIT: Der folgende Beitrag bezieht sich auf eine veraltete Version des Pools; er wird trotzdem nicht zensiert, damit die Diskussion in diesem Thread verständlich bleibt.</strong></p> <p> Hallo,</p> <p> die Beweisstruktur in diesem Beweis ist nicht korrekt! Es wird etwas falsches gefolgert:</p> <p> &nbsp;</p> <p> "...Jetzt sei w=xyz beliebige Partition von w. Dann gilt laut PPL:</p> <p> 1) |xy|≤n</p> <p> 2) |y|&gt;0</p> <p> 3)...</p> <p> "</p> <p> Diese Folgerung ist doch falsch. Das PPL sagt nämlich, dass es eine Partition gibt, sodass 1-3 gilt. Also insbesondere, dass es nicht für eine beliebige Partition gilt! Sonst müsste es im PPL heißen, dass dies für jede(!) Zerlegung gilt.</p> <p> lg Adam</p> </div> <p> &nbsp;</p> PUM-AA https://info2.aifb.kit.edu/qa/index.php?qa=1503&qa_1=ppl-f%C3%BCr-jede-zerlegung&show=1503#q1503 Tue, 25 Nov 2014 09:55:32 +0000 Beantwortet: PPL zum Nachweis regulärer Sprachen geeignet? https://info2.aifb.kit.edu/qa/index.php?qa=1519&qa_1=ppl-zum-nachweis-regul%C3%A4rer-sprachen-geeignet&show=1520#a1520 <div class="ilFrmPostContent"> <p> Hallo,</p> <p> Ich verstehe nicht ganz, was du mit "das PPL ist erfüllt" meinst...Meinst du damit, dass die Aussagen (1)-(3) usw. erfüllt sind?</p> <p> Das PPL ist nur ein Werkzeug, das besagt, welche Eigenschaften eine reguläre Sprache hat. Diese direkt nachzuweisen ist schier unmöglich, denn du müsstest dazu (1)-(3) usw. für ALLE Wörter nachweisen. Deswegen verwenden wir das PPL immer nur, um zu zeigen, dass eine Sprache nicht regulär ist. Für den Beweis, dass eine Sprache regulär ist, ist das PPL gänzlich ungeeignet.</p> <p> <br> In dieser Aufgabe ist w dein gewähltes Ausgangswort, das du durch Pumpen mit i so verändern möchtest, dass das daraus resultierende Wort nicht mehr in der Sprache drin liegt. Wenn du irgendwie ein anderes Ausgangswort pumpst und dann auf w als Ergebnis kommst, dann kannst du <strong>keine Aussage treffen</strong>. In sofern stimmt also deine 2. Vermutung.</p> <p> Ich hoffe, das hat ein wenig weitergeholfen :)</p> <p> Viele Grüße,</p> <p> Vivian (Tutor)</p> </div> <p> &nbsp;</p> PUM-AA https://info2.aifb.kit.edu/qa/index.php?qa=1519&qa_1=ppl-zum-nachweis-regul%C3%A4rer-sprachen-geeignet&show=1520#a1520 Tue, 25 Nov 2014 09:54:45 +0000 Kommentiert: alternative Argumentation: richtig? https://info2.aifb.kit.edu/qa/index.php?qa=1513&qa_1=alternative-argumentation-richtig&show=1518#c1518 Nein, du kannst doch $p=j-1$ wählen, dann ist<br /> <br /> $p=j-1 &lt; j$ und $|y|= j-p = j-(j-1) = 1$.<br /> <br /> Gruß,<br /> <br /> Adam (Tutor) PUM-AA https://info2.aifb.kit.edu/qa/index.php?qa=1513&qa_1=alternative-argumentation-richtig&show=1518#c1518 Tue, 25 Nov 2014 09:50:20 +0000 Antwort ausgewählt: Ist Widerspruchsbeweis durch definieren von xy & z zulässig? https://info2.aifb.kit.edu/qa/index.php?qa=1507&qa_1=ist-widerspruchsbeweis-durch-definieren-von-xy-%26-zul%C3%A4ssig&show=1508#a1508 <div class="ilFrmPostContent"> <p> Nein, wenn du $w = 0^n1^n$ wählst, darfst du hier nicht die Einsen als xy und die Nullen als z definieren, da $w=xyz$ sein soll (hier wird also eine Reihenfolge von x,y und z bestimmt). Da $|xy|\leq n$ (1) kann xy nur aus 0 bestehen und z demzufolge nur aus 1.</p> <p> Sven (Tutor)</p> </div> <p> &nbsp;</p> PUM-AA https://info2.aifb.kit.edu/qa/index.php?qa=1507&qa_1=ist-widerspruchsbeweis-durch-definieren-von-xy-%26-zul%C3%A4ssig&show=1508#a1508 Tue, 25 Nov 2014 09:37:12 +0000