Theoretische und technische Informatik - ganz praktisch - Letzte Fragen & Antworten in 2013-N-03 https://info2.aifb.kit.edu/qa/index.php?qa=qa&qa_1=2013-nachklausur&qa_2=2013-n-03 Powered by Question2Answer Beantwortet: neues Nonterminal S' zwingend notwendig? https://info2.aifb.kit.edu/qa/index.php?qa=7345&qa_1=neues-nonterminal-s-zwingend-notwendig&show=7354#a7354 Hallo,<br /> <br /> die Einführung von S' ist zwingend der erste Schritt der Überführung in CNF, wenn es einen Lambda-Übergang von S gibt und S auf einer der rechten Seiten vorkommt. <br /> <br /> Schau dir am besten nochmal die Definition einer Chomsky Normalform an. Zur Überführung in diese gibt es auch sehr gute Videos auf dem YouTube Kanal von &quot;nLogSpace&quot;.<br /> <br /> Beste Grüße,<br /> <br /> Martin (Tutor) 2013-N-03 https://info2.aifb.kit.edu/qa/index.php?qa=7345&qa_1=neues-nonterminal-s-zwingend-notwendig&show=7354#a7354 Thu, 18 Mar 2021 17:20:27 +0000 Beantwortet: CNF- JA oder NEIN? https://info2.aifb.kit.edu/qa/index.php?qa=7124&qa_1=cnf-ja-oder-nein&show=7126#a7126 <p> In Tutorium 4 steht es eindeutig.</p> <p> <span style="left: 26.8125px; top: 202.677px; font-size: 17.3958px; font-family: sans-serif; transform: scaleX(0.998308);">Einfach gesagt sind folgende Regeln erlaubt:</span></p> <ul> <li> <span style="left: 26.8125px; top: 227.677px; font-size: 17.3958px; font-family: sans-serif; transform: scaleX(1.00269);">1.</span><span style="left: 58.0625px; top: 227.677px; font-size: 17.3958px; font-family: sans-serif; transform: scaleX(1.02825);">Von </span><span style="left: 93.7934px; top: 227.677px; font-size: 17.3958px; font-family: sans-serif; transform: scaleX(0.999696);">Nonterminalsymbol</span><span style="left: 247.248px; top: 227.677px; font-size: 17.3958px; font-family: sans-serif; transform: scaleX(0.997607);">zu 2 </span><span style="left: 284.774px; top: 227.677px; font-size: 17.3958px; font-family: sans-serif; transform: scaleX(1.00021);">Nonterminalsymbolen</span></li> <li> <span style="left: 26.8125px; top: 252.694px; font-size: 17.3958px; font-family: sans-serif; transform: scaleX(1.00269);">2.</span><span style="left: 58.0625px; top: 252.694px; font-size: 17.3958px; font-family: sans-serif; transform: scaleX(1.02825);">Von </span><span style="left: 93.7934px; top: 252.694px; font-size: 17.3958px; font-family: sans-serif; transform: scaleX(0.999696);">Nonterminalsymbol</span><span style="left: 247.248px; top: 252.694px; font-size: 17.3958px; font-family: sans-serif; transform: scaleX(1.01127);">zu 1 Terminalsymbol</span></li> </ul> <p> &nbsp;</p> <p> <span style="left: 26.8125px; top: 323.509px; font-size: 17.4167px; font-family: sans-serif; transform: scaleX(0.997938);">Also muss die Grammatik Lambda frei sein abgesehen von Startsymbol zu Lambda, dies ist aber <span style="left: 347.587px; top: 302.694px; font-size: 17.3958px; font-family: sans-serif; transform: scaleX(0.997956);">nur möglich wenn Startsymbol </span><span style="left: 26.8125px; top: 323.509px; font-size: 17.4167px; font-family: sans-serif; transform: scaleX(0.997938);">nicht auf der rechten Seite vorkommt.</span></span></p> <p> LG, Nico (Tutor) (Alle Angaben ohne Gewähr)</p> 2013-N-03 https://info2.aifb.kit.edu/qa/index.php?qa=7124&qa_1=cnf-ja-oder-nein&show=7126#a7126 Thu, 06 Feb 2020 11:31:59 +0000 Beantwortet: CNF akzeptiert doch das leere Wort garnicht? https://info2.aifb.kit.edu/qa/index.php?qa=6408&qa_1=cnf-akzeptiert-doch-das-leere-wort-garnicht&show=6413#a6413 Um eine Grammatik in CNF zu überführen, muss man sie zunächst $\lambda$-frei machen. Deshalb wird in der Aufgabe der neue Startzustand S' eingeführt, von dem aus ein $\lambda$-Übergang erlaubt ist.<br /> <br /> Viele Grüße <br /> Julia (Tutor) 2013-N-03 https://info2.aifb.kit.edu/qa/index.php?qa=6408&qa_1=cnf-akzeptiert-doch-das-leere-wort-garnicht&show=6413#a6413 Sat, 10 Feb 2018 18:58:47 +0000 Beantwortet: S' -> S entspricht nicht der CNF https://info2.aifb.kit.edu/qa/index.php?qa=4296&qa_1=s-s-entspricht-nicht-der-cnf&show=4315#a4315 Laut 3-32 gilt für Schritt 4 folgendes : Ersetze jede Regel der Form A-&gt; B1...Bn<br /> <br /> mit n &gt;=3 . und das würde ja auf S-&gt; S´ nicht zutreffen , da hier nur n=1 gilt . 2013-N-03 https://info2.aifb.kit.edu/qa/index.php?qa=4296&qa_1=s-s-entspricht-nicht-der-cnf&show=4315#a4315 Sun, 14 Feb 2016 10:32:28 +0000 Beantwortet: Müsste man die Umbennung nicht im 2. Schritt eliminieren? https://info2.aifb.kit.edu/qa/index.php?qa=2670&qa_1=m%C3%BCsste-man-die-umbennung-nicht-im-2-schritt-eliminieren&show=2671#a2671 <div class="ilFrmPostContent"> <p> Hallo,</p> <p> Eine reine Umbenennung wäre es, wenn man von S' nicht auch auf das leere Wort kommen könnte. Da S' somit auf keiner rechten Seite mehr stehen darf kann dies nicht eliminiert werden.</p> <p> Viele Grüße,</p> <p> Janina (Tutorin)</p> </div> <p> &nbsp;</p> 2013-N-03 https://info2.aifb.kit.edu/qa/index.php?qa=2670&qa_1=m%C3%BCsste-man-die-umbennung-nicht-im-2-schritt-eliminieren&show=2671#a2671 Wed, 23 Sep 2015 14:32:24 +0000