Theoretische und technische Informatik - ganz praktisch - Letzte Fragen & Antworten in PUM-AA https://info2.aifb.kit.edu/qa/index.php?qa=qa&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 Beantwortet: 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 Thu, 07 Feb 2019 20:51:56 +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 Beantwortet: 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=5035#a5035 Hallo,<br /> da hast du die Grundlegende Idee hinter dem PPL noch nicht so ganz verstanden. Wir versuchen ja beim PPL gerade durch die Verwendung der Hochzahlen zu zeigen, dass wir für ALLE n und für ALLE Zerlegungen des Wortes mindestens EINE mögliche Pumpvariable finden, bei der es zu einem Widerspruch kommt. <br /> Also kannst du eben nicht nur ein mögliches Wort finden, sonder musst es für alle n zeigen. Jede EA-Sprache muss ja auch nur für EIN n EINE Zerlegung besitzen, für die wirklich alle Pumpmöglichkeiten noch Teil der Sprache sind. Schau dir am besten nochmal die Folie 29 im 2. Kapitel an da steht das ganz gut erklärt. <br /> Ich hoffe das hat dir ein bisschen geholfen. PUM-AA https://info2.aifb.kit.edu/qa/index.php?qa=5033&qa_1=reicht-ein-speziefisches-wort-widerlegung-pumpinglemmas&show=5035#a5035 Thu, 26 Jan 2017 08:49:34 +0000 Beantwortet: 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:13:13 +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 Beantwortet: 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:29:42 +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 Beantwortet: alternative Argumentation: richtig? https://info2.aifb.kit.edu/qa/index.php?qa=1513&qa_1=alternative-argumentation-richtig&show=1514#a1514 <div class="ilFrmPostContent"> <p> Nein, diese Argumentation ist leider nicht zulässig, da |xy| jede Anzahl kleiner gleich n (≤n) annehmen kann, du allerdings in deiner Argumentation die (exakte) Gleicheit voraussetzt.</p> <p> Dadurch entstehen übrigens weitere Fehler bei dir, also bitte gleich Zeile 2 ändern und dann nochmal von vorne ;)</p> <p> Gruß</p> <p> Philip (Tutor)</p> </div> <p> &nbsp;</p> PUM-AA https://info2.aifb.kit.edu/qa/index.php?qa=1513&qa_1=alternative-argumentation-richtig&show=1514#a1514 Tue, 25 Nov 2014 09:40:47 +0000 Beantwortet: 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=1511#a1511 <div class="ilFrmPostContent"> <p> Hallo,</p> <p> ich verstehe leider nicht ganz, wie man am Ende auf $z = 0^{n-k}1^n$ kommt.</p> <p> Weil man nimmt doch den Fall an, dass $i=0$ ist. Also $w' = xy^0z$</p> <p> Demnach hätte ich gedacht, dass $y^0 = 1$ ist, also man dann da stehen hat:</p> <p> x1z=0^{j-k}10^{n-j}1^n=0^{n-k}1(n+<strong>1</strong>)</p> <p> Wo liegt mein Denkfehler?</p> <p> Danke</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=1511#a1511 Tue, 25 Nov 2014 09:27:42 +0000 Beantwortet: PPL für jede Zerlegung ? https://info2.aifb.kit.edu/qa/index.php?qa=1503&qa_1=ppl-f%C3%BCr-jede-zerlegung&show=1505#a1505 Hallo Adam, hallo Sven,<br /> <br /> Adam hat trotzdem mit seiner Anmerkung recht - wir haben das nicht hundertprozentig korrekt formuliert. Wir werden das ändern zu:<br /> <br /> &quot;Es seien $x,y,z∈E^∗$ Wörter, sodass gilt: $w=xyz$ und [...] (1), (2), (3)&quot;<br /> <br /> (oder so ähnlich).<br /> <br /> Viele Grüße<br /> <br /> Lukas König PUM-AA https://info2.aifb.kit.edu/qa/index.php?qa=1503&qa_1=ppl-f%C3%BCr-jede-zerlegung&show=1505#a1505 Tue, 25 Nov 2014 09:13:59 +0000