Theoretische und technische Informatik - ganz praktisch
Herzlich willkommen auf der Question/Answer-Plattform zu Grundlagen der Informatik II. Wir wünschen Ihnen viel Spaß beim Lernen und Diskutieren!
Loggen Sie sich mit Ihrem KIT-Account (u...) ein, um loszulegen!
Beachten Sie auch diese Informationen zum Schnelleinstieg.
(Nicht-KIT-Studierende beachten bitte diese Informationen.)

Beliebteste Tags

verständnis alternativlösung klausur kellerautomat endlicher-automat grammatik regulärer-ausdruck pumpinglemma turingmaschine tipp zahlendarstellung cmos klausurrelevant bonusklausur komplexität schaltwerk binary-decision-diagram deterministisch assembler schaltnetz minimierung sprachen nichtdeterministisch huffman chomsky-normalform fehler-in-aufgabe anwesenheitsübung rechtslinear heimübung flip-flop cocke-younger-kasami-algorithmus kontextsensitive-grammatik kontextfreie-grammatik fehlererkennbarkeit huffman-kodierung hauptklausur vorlesungsfolien kontextfreie-sprache polynomialzeitreduktion faq gleitkommazahl fehlerkorrigierbarkeit rechtslineare-grammatik dateiorganisation cache darstellung-klausur nachklausur xwizard adressierungsarten lambda mealy endliche-automaten konjunktive-normalform pipelining zustände saalübung leeres-wort ohne-lösungen betriebssystem speicherorganisation moore monotone-grammatik 2-komplement fehler reguläre-sprache hammingzahl monoton lösungsweg pumping-lemma-für-kontextfreie-sprachen kodierung berechenbarkeit pumping-lemma klausureinsicht disjunktive-normalform info-ii bussysteme rechnerarchitektur abzählbarkeit komplexitätsklassen ableitungsbaum vorlesungsaufzeichnung round-robin entscheidbarkeit minimierung-endlicher-automaten chomsky-klassen von-neumann-rechner binärzahl entscheidbar programmiersprachen aufzählbarkeit stern-symbol automaten schaltnetze-und-schaltwerke nukit-fragen bewertung zugriffsarten umformung adressierung mengen binär-subtrahieren

Kategorien

0 Pluspunkte 0 Minuspunkte
106 Aufrufe
Hallo,

mal eine Frage zur Wortwahl beim Pumping-Lemma:

Bei der Aufgabe im Buch ist es ja so, dass für alle Wörte der Sprache einfach nur Anzahl Einsen in w = Anzahl Nullen in w sein muss. Nun wird aber als zu testendes Wort 0^n1^n gewählt. Das deckt ja aber jetzt nicht die komplette Sprache ab, sondern nur Wörter der Form 01,0011,000111, etc. . Allerdings werden durch das Wort Wörter wie 0101, 1001, etc. also alle Wörter in denen zwar die Anzahl der Einser = der Anzahl der Nullen ist, aber nicht unbedingt alle Nullen und Einsen hintereinander stehen, ja nicht abgedeckt, obwohl diese noch Bestandteil der Sprache wären, Deswegen die Frage: Muss man bei der Wortwahl ein Wort wählen, dass die komplette Sprache abdeckt, oder reicht ein Wort das zumindest einen Teilbereich der Sprache abdeckt? Dass es nicht reicht ein spezifisches Wort zu testen wurde ja schon beantwortet.

Danke schon mal!
in PUM-AA von uoioh uoioh Lernwillige(r) (340 Punkte)  

1 Eine Antwort

0 Pluspunkte 0 Minuspunkte
Hallo uoioh,

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.

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.

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.

Viele Grüße
Hannah (Tutorin)
von uneoo uneoo Eins-Komma-Null-Anwärter(in) (2.4k Punkte)  
...