Theoretische und technische Informatik - ganz praktisch - Letzte Aktivität in 2012-H-03 https://info2.aifb.kit.edu/qa/index.php?qa=activity&qa_1=2012-hauptklausur&qa_2=2012-h-03 Powered by Question2Answer Beantwortet: 3a kontextsensitive Grammatik https://info2.aifb.kit.edu/qa/index.php?qa=7009&qa_1=3a-kontextsensitive-grammatik&show=7021#a7021 Hallo,<br /> <br /> &nbsp;<br /> <br /> Einen wirklichen Algorithmus gibt es dafür nicht. Was du jedoch oft machen kannst ist wenn du einmal ein Wort gefunden hast das gleiche Wort nochmal zu nehmen und in der Mitte einfach einen schritt doppelt machen (also zu pumpen) oft musst du dann nur die gleichen Schritte wie vorher erneut anwenden und kannst dann beliebig oft pumpen.<br /> <br /> Constantin (Tutor) 2012-H-03 https://info2.aifb.kit.edu/qa/index.php?qa=7009&qa_1=3a-kontextsensitive-grammatik&show=7021#a7021 Sun, 02 Feb 2020 11:09:19 +0000 Kommentiert: richtlineare Grammatik - CNF NK2011 Aufgabe 2d https://info2.aifb.kit.edu/qa/index.php?qa=4220&qa_1=richtlineare-grammatik-cnf-nk2011-aufgabe-2d&show=4222#c4222 Ah sorry. ich hab CNF und nicht GNF gelesen. Greibach-Normalform ist natürlich was anderes. Danke! 2012-H-03 https://info2.aifb.kit.edu/qa/index.php?qa=4220&qa_1=richtlineare-grammatik-cnf-nk2011-aufgabe-2d&show=4222#c4222 Fri, 12 Feb 2016 19:09:33 +0000 Beantwortet: Warum ist hier die Grammatik nur vom Typ 0 und nicht auf vom Typ 1? https://info2.aifb.kit.edu/qa/index.php?qa=3195&qa_1=warum-ist-hier-die-grammatik-nur-vom-typ-und-nicht-auf-vom-typ&show=3196#a3196 <p> <span style="font-family: inherit; font-size: inherit; font-style: inherit; font-variant: inherit; line-height: inherit; color: rgb(0, 0, 0);">Hallo,</span></p> <div class="ilFrmPostContent" style="margin: 20px 0px 0px; padding: 0px; border: 0px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 18px; vertical-align: baseline; color: rgb(0, 0, 0);"> <p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: inherit; font-size: inherit; font-style: inherit; font-variant: inherit; line-height: inherit; vertical-align: baseline;"> &nbsp;</p> <p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: inherit; font-size: inherit; font-style: inherit; font-variant: inherit; line-height: inherit; vertical-align: baseline;"> 1) Hier handelt es sich nicht um eine kontextsensitive Grammatik, denn wenn du dir die Definition von Typ-1 Grammatiken anschaust, dann besagt sie:</p> <p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: inherit; font-size: inherit; font-style: inherit; font-variant: inherit; line-height: inherit; vertical-align: baseline;"> (phi1)A(phi2) --&gt; (phi1)(PSY)(phi2) mit PSY ungleich lambda. Bei der Regel die du genannt hast wird aber gerade T auf lambda abgebildet.</p> <p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: inherit; font-size: inherit; font-style: inherit; font-variant: inherit; line-height: inherit; vertical-align: baseline;"> Desweiteren ist die Grammatik auch nicht kontextfrei/vom Typ 2. Denn kontextfreie Grammatiken sind von der Form</p> <p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: inherit; font-size: inherit; font-style: inherit; font-variant: inherit; line-height: inherit; vertical-align: baseline;"> A-&gt;PSY, d.h. auf der linken Seite der Regeln steht immer nur ein NT.</p> <p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: inherit; font-size: inherit; font-style: inherit; font-variant: inherit; line-height: inherit; vertical-align: baseline;"> &nbsp;</p> <p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: inherit; font-size: inherit; font-style: inherit; font-variant: inherit; line-height: inherit; vertical-align: baseline;"> 2) Da hast du was verwechselt. Eine kontextfreie Grammatik muss zwar nicht in CNF vorliegen. Dafür ist aber die CNF kontextfrei (schau dir Definitionen mal an, dann wirst du feststellen, dass CNF ein Spezialfall von Typ-2 Grammatiken ist). Das ist kein Widerspruch. Rechtslinear ist eine CNF i.A. nicht, denn bei rechtslinearen Grammatiken erlaubst du Regeln der Form A--&gt;aB und die sind verboten in der CNF.</p> <p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: inherit; font-size: inherit; font-style: inherit; font-variant: inherit; line-height: inherit; vertical-align: baseline;"> &nbsp;</p> <p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: inherit; font-size: inherit; font-style: inherit; font-variant: inherit; line-height: inherit; vertical-align: baseline;"> Viele Grüße,</p> <p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: inherit; font-size: inherit; font-style: inherit; font-variant: inherit; line-height: inherit; vertical-align: baseline;"> Vivian (Tutor)</p> <div> &nbsp;</div> </div> <p> &nbsp;</p> 2012-H-03 https://info2.aifb.kit.edu/qa/index.php?qa=3195&qa_1=warum-ist-hier-die-grammatik-nur-vom-typ-und-nicht-auf-vom-typ&show=3196#a3196 Sat, 10 Oct 2015 18:33:21 +0000