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

0 Pluspunkte 0 Minuspunkte
199 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.
...