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 turingmaschine pumpinglemma tipp zahlendarstellung cmos bonusklausur klausurrelevant 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 huffman-kodierung cocke-younger-kasami-algorithmus kontextsensitive-grammatik kontextfreie-grammatik fehlererkennbarkeit hauptklausur vorlesungsfolien polynomialzeitreduktion kontextfreie-sprache faq gleitkommazahl fehlerkorrigierbarkeit rechtslineare-grammatik dateiorganisation cache darstellung-klausur nachklausur xwizard adressierungsarten mealy lambda endliche-automaten konjunktive-normalform pipelining zustände saalübung leeres-wort moore ohne-lösungen betriebssystem speicherorganisation monotone-grammatik 2-komplement hammingzahl lösungsweg fehler pumping-lemma-für-kontextfreie-sprachen pumping-lemma reguläre-sprache monoton kodierung berechenbarkeit klausureinsicht disjunktive-normalform abzählbarkeit info-ii bussysteme rechnerarchitektur entscheidbarkeit komplexitätsklassen chomsky-klassen ableitungsbaum vorlesungsaufzeichnung round-robin aufzählbarkeit minimierung-endlicher-automaten von-neumann-rechner binärzahl entscheidbar programmiersprachen stern-symbol automaten schaltnetze-und-schaltwerke nukit-fragen bewertung zugriffsarten umformung adressierung mengen binär-subtrahieren

Kategorien

2 Pluspunkte 0 Minuspunkte
51 Aufrufe
Hallo,

was wäre eigentlich, wenn man zum Schluss keinen Widerspruch hätte, sprich bei a) käme man auf das gewählte Wort \(0^{n}1^{2n} \) und bei b) auf das gewählte Wort \( 0^n 1^n 0^n 1^n \) ?

Welche Aussage könnte man dann treffen?

(Man kann doch mit der Umkehrung des PPL nur sagen, dass die Sprache nicht Sprache eines EA ist. Man kann aber damit nicht sagen, dass die Sprache eine Sprache des EA ist, oder habe ich das falsch in Erinnerung?)

Danke und Gruß
in AU-1-3 von uafjv uafjv Tutor(in) (168k Punkte)  

1 Eine Antwort

0 Pluspunkte 0 Minuspunkte

Richtig! Mit einem PPL kann man nur beweisen, dass eine Sprach nicht vom Typ 3 (bzw. 2) ist, indem man einen Wiederspruch zu den Annahmen findet. Wenn du keinen Wiederspruch findest, kannst du keine weiteren Aussagen treffen.

Gruß

Lukas (Tutor)

 

von uafjv uafjv Tutor(in) (168k Punkte)  
0 0
Ich bin leider nicht so schlau aus deiner Antwort geworden.
Mir ist nicht klar, wie man darauf kommt, dass \(0<j\) ist? 0 ist doch eher \( \leq j \) ?
Dasselbe mit \( k \leq n \). Was soll das nun genau aussagen?

Danke für die Hilfe!
0 0
Du musst das \(j > 0\) wählen, weil du sonst dastehen hättest: \( 0^{n-0} 1^{2n} \), was genau dem entspricht, was in der Aufgabe definiert wurde.

Auf die Forderung \( k \leq n \) kommst du, weil deine erste Bedingung des Pumping Lemmas \( |xy| \leq n \) ist und du für \(y = 0^k\) gewählt hast. Wenn du also einen Wert \(>n\) einsetzt, verletzt du diese Bedingung.

Generell ist das Pumping Lemma ein Widerspruchsbeweis, du erfüllst die ersten beiden Bedingungen und versuchst den Widerspruch über die dritte Bedingung herbeizuführen.

Max (Tutor)
...