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 sprachen minimierung nichtdeterministisch huffman fehler-in-aufgabe chomsky-normalform anwesenheitsübung rechtslinear heimübung flip-flop cocke-younger-kasami-algorithmus kontextsensitive-grammatik kontextfreie-grammatik huffman-kodierung hauptklausur fehlererkennbarkeit vorlesungsfolien kontextfreie-sprache polynomialzeitreduktion faq gleitkommazahl fehlerkorrigierbarkeit rechtslineare-grammatik dateiorganisation cache darstellung-klausur nachklausur xwizard adressierungsarten lambda mealy konjunktive-normalform pipelining zustände saalübung leeres-wort endliche-automaten 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 klausureinsicht disjunktive-normalform pumping-lemma info-ii bussysteme rechnerarchitektur abzählbarkeit komplexitätsklassen ableitungsbaum vorlesungsaufzeichnung round-robin minimierung-endlicher-automaten chomsky-klassen binärzahl entscheidbar programmiersprachen entscheidbarkeit aufzählbarkeit stern-symbol automaten nukit-fragen bewertung zugriffsarten von-neumann-rechner umformung adressierung mengen binär-subtrahieren organsiation

Kategorien

0 Pluspunkte 0 Minuspunkte
91 Aufrufe
Warum ist G' nicht auch in Kuroda-Normalform?
in 2016-H-04 von uyjdl uyjdl Lernwillige(r) (190 Punkte)  

1 Eine Antwort

1 Pluspunkt 0 Minuspunkte
Ja, G' ist auch in Kuroda Normalform (Dies gilt immer, sobald eine Grammatik in CNF vorliegt und es keinen Lambda-Übergang gibt)

LG Nico (Tutor) (Alle Angaben ohne Gewähr)
von unort unort Eins-Komma-Null-Anwärter(in) (3.9k Punkte)  
Bearbeitet von unort unort
0 0
Hallo Nico,

eine Frage dazu: CNF ist doch immer in KNF auch ohne die Bed. mit dem Lambdaübergang, da bei beiden dies nur unter der Voraussetzung erlaubt ist, das Lamdba bei S vorkommt und S nicht auf einer der rechten Seiten.

Falls ich falsch liege, gerne berichtigen.

Gruß
0 0
Für die Kuroda Normalform hat man Regeln der Form:
A-->a|B|BC und AB-->CD
Hier gibt es überhaupt keine Lambda-Übergänge...auch nicht von S.

Ohne A-->B und AB-->CD sind Grammatiken der Kuroda Normalform auch in CNF.

LG, Nico (Tutor) (Alle Angaben ohne Gewähr)
0 0
Hi Nico,

ich würde dir gerne hier den Screenshot zeigen von der VL, aber man kann keine Bilder in den Kommentaren einfügen (nur in extra Fragen)

Bei uns in "VL 11: kontextsensitive und allgemeine Sprachen" ist unter Kuroda NF explizit erwähnt, dass die KNF auch das leere Wort enthalten darf.

Gruß
0 0
Ok dann lieg ich da wohl falsch, sorry.
Bei uns gab es die Kuroda Normalform damals nicht.
...