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

1 Pluspunkt 0 Minuspunkte
80 Aufrufe

Hallo zusammen,

ich verstehe leider den ersten Schritt ("Mache G λ-frei") in dem Beispiel zur CNF nicht.

Geg.:     G = ({A.B,C,S}, {a,b}, P, S) mit

              P = { S →λ I C , A → a , B → b , C → AC I CB }

Nach dem ersten Schritt erhält man: 

S → B I AB I λ , A → a , B → a I BAb I ABb I Bb I ABAb .

 

Wie kommt man denn bitte darauf? Danke!

in Kapitel 5 von  
0 0
Hier kann man sehr gut den XWizard zur Veranschaulichung verwenden. Wer das beantwortet, sollte am besten ein oder mehrere passende XWizard-Skripte einbetten.

1 Eine Antwort

1 Pluspunkt 0 Minuspunkte
 
Beste Antwort
Hey,

ich vermute du hast die Beispielsgrammatik von Seite 229 als Ausgangsgrammatik angesehen. Auf Seite 230 ist allerdings die unten stehende Grammatik gegeben.
@[17490]@

Diese wird im ersten Schritt Lambda-frei gemacht, wobei die Produktion A -> lambda Probleme bereitet, da das Nonterminalsymbol A auf der rechten Seite auch auftaucht. Deshalb müssen diejenigen Fälle abgedeckt werden wo die Ableitung auf Lambda sich bemerkbar macht. Also wird die Produktion ersetzt durch:

S->B und B->BAb | ABb | Bb.

Wenn du beim XWizard Beispiel auf den Button "Epsilon-frei" klickst erhältst du die gleiche Lösung (allerdings wurde hier auch noch das Startsymbol ersetzt).

 

Ich hoffe ich konnte weiterhelfen.

Beste Grüße Marius Nagel (Tutor)
von ureif ureif Tutor(in) (101k Punkte)  
ausgewählt von
...