Theoretische und technische Informatik - ganz praktisch - Letzte Fragen & Antworten in Kontextsensitive, monotone und allgemeine Grammatiken https://info2.aifb.kit.edu/qa/index.php?qa=qa&qa_1=kontextsensitive-monotone-und-allgemeine-grammatiken Powered by Question2Answer Beantwortet: Umwandlung in CNF, Nonterminale https://info2.aifb.kit.edu/qa/index.php?qa=7356&qa_1=umwandlung-in-cnf-nonterminale&show=7359#a7359 Hallo uuuah,<br /> <br /> da kannst du vorgehen, wie es für dich am naheliegendsten ist. Je nachdem wie die restliche Grammatik aussieht, könntest du es dir hier sogar noch etwas einfacher machen und direkt sagen:<br /> <br /> S -&gt; AB<br /> <br /> A -&gt; VX<br /> <br /> B -&gt; YZ<br /> <br /> Das klappt so natürlich nur, wenn die restliche Grammatik es zulässt. Es bleibt dir also selbst überlassen, welchen Weg zu wählst, ob von rechts oder von links :)<br /> <br /> Beste Grüße,<br /> <br /> Martin (Tutor) MON-AB https://info2.aifb.kit.edu/qa/index.php?qa=7356&qa_1=umwandlung-in-cnf-nonterminale&show=7359#a7359 Fri, 19 Mar 2021 08:43:00 +0000 Beantwortet: kontextsensitive Grammatik https://info2.aifb.kit.edu/qa/index.php?qa=7206&qa_1=kontextsensitive-grammatik&show=7209#a7209 Nein, ich denke nicht. Die letzten drei Regeln stellen sicher, dass erst alle b's kommen und dann alle c's. <br /> Mit den Regeln B -&gt; b und C -&gt; c wird dies nicht garantiert! <br /> lg MON-AB https://info2.aifb.kit.edu/qa/index.php?qa=7206&qa_1=kontextsensitive-grammatik&show=7209#a7209 Mon, 10 Feb 2020 05:58:38 +0000 Kontextsensitive und Monotone Grammatik https://info2.aifb.kit.edu/qa/index.php?qa=7197&qa_1=kontextsensitive-und-monotone-grammatik Bei Vorlesung 11 Folie 30 wird die nicht kontextsensitive, aber monotone Grammatik umgeformt zu einer kontextsensitiven. Wäre die umformung auch so möglich:<br /> <br /> &nbsp;<br /> <br /> FB -&gt; D1B<br /> <br /> D1B -&gt; D1F<br /> <br /> D1F -&gt; BF<br /> <br /> B -&gt; b MON-AB https://info2.aifb.kit.edu/qa/index.php?qa=7197&qa_1=kontextsensitive-und-monotone-grammatik Sun, 09 Feb 2020 13:24:38 +0000 Beantwortet: Herangehensweise kontextsensitive Grammatik https://info2.aifb.kit.edu/qa/index.php?qa=7004&qa_1=herangehensweise-kontextsensitive-grammatik&show=7042#a7042 Hallo,<br /> <br /> leider gibt es keinen allgemeinen Weg wie man bei Automaten, Grammatiken, etc. auf die Lösung kommt.<br /> <br /> Meiner Meinung nach ist es jedoch ein gutes Vorgehen immer nach Abhängigkeiten zu suchen. In diesem Fall sind es die Anzahl an a=d; b=e; und c=a+e=b+d(=a+b=d+e). Dies bedeutet beispielsweise wir müssen gleich viele a's und d's erzeugen. Damit dies klappt sollten wir also immer wenn wir ein a erzeugen auch ein d erzeugen. (gleiches für b und e). damit das c jedoch gleich m+n ist müssen wir immer wenn wir einmal a und d oder b und e erzeugen auch ein c erzeugen. Im Anschluss beginnt das sortieren der zeichen hier musst du dir einfach überlegen wo sollte es am Ende stehen und dann durchwechseln. Im Anschluss musst du natürlich noch die Nonterminale zu Terminalen machen.<br /> <br /> Constantin (Tutor) MON-AB https://info2.aifb.kit.edu/qa/index.php?qa=7004&qa_1=herangehensweise-kontextsensitive-grammatik&show=7042#a7042 Mon, 03 Feb 2020 10:09:38 +0000 Beantwortet: Klausurrelevanz kontextstensitive Grammatik https://info2.aifb.kit.edu/qa/index.php?qa=6908&qa_1=klausurrelevanz-kontextstensitive-grammatik&show=6937#a6937 Liebe Studierende,<br /> <br /> ich verstehe die mögliche Verwirrung.<br /> <br /> Zur Klärung:<br /> <br /> Bonusklausur (BK) findet während des Semesters statt und Hauptklausur (HK) nach Ende der Vorlesungen und Tutorien daher gibt es Themen die Relevant sind für beides Bonusklausur und Hauptklausur, und es gibt Themen die in der Bonusklausur nicht vorgesehen sind.<br /> <br /> Allgemein gilt Klausurrelevant sind sowohl alle Vorlesungs- als auch Übungsinhalte. Es gibt 3Stunden Vorlesung und 1 Stunde Übung. Daher können Übungsaufgaben nicht alles abdecken, sie dienen für Übung, Vertiefung ausgewählter Inhalte. Sie sind lediglich Orientierung für Relevanz der Augaben in der Klausur. Nur weil manche Teile der Vorlesung nicht als Tutoriumaufgabe war, bedeutet es nicht dass es nicht Klausurrelevant ist.<br /> <br /> Für Hauptklausur sind es ALLE Vorlesungen und ALLE Übungen.<br /> <br /> Für Bonusklausur sind relevant Tutorium 1-4 und alle dazugehörige Vorlesungen.<br /> <br /> Um Ihre Frage konkreter zu beantworten:<br /> <br /> - Pumpinglemma fuer KFG wird nicht Thema für BK aber kann in der HK sein.<br /> <br /> - Auch wenn KSG nicht näher betrachtet wurde und detailierte Inhalte zB Normalformen nicht in BK vorkommen, kann in HK vorkommen.<br /> <br /> Es gibt ihnalte zu Grammatiken die schon in Vorlesung 7 behandelt wurden und später detailierter Zusammengefasst wurden, dies ist relevant für BK.<br /> <br /> Diese sollten bekannt sein: die ganze Chromsky Hierarchie kennen und allgemeine Grammatiken kennen - was ist Grammatik, welche Typen existieren, welche Grammatik ist welcher Typ, wie werden Wörter abgeleitet etc. MON-AB https://info2.aifb.kit.edu/qa/index.php?qa=6908&qa_1=klausurrelevanz-kontextstensitive-grammatik&show=6937#a6937 Sun, 12 Jan 2020 17:36:49 +0000 Beantwortet: Alternative Lösung https://info2.aifb.kit.edu/qa/index.php?qa=6632&qa_1=alternative-l%C3%B6sung&show=6633#a6633 Hi uevhw,<br /> <br /> für n=1 oder n=2 funktioniert Deine Grammatik wunderbar. Aber sobald du ein größeres n wählst (z.B. n=3) passiert folgendes:<br /> <br /> ABCABCABC -&gt; AABBCCABC, das bedeutet, dass das letzte &quot;ABC&quot; sich nicht auflösen lässt und damit die Grammatik nicht korrekt ist. Fügst Du jetzt eine solche Überführung hinzu, kannst du mit n=4 schon wieder nicht mithalten. Ich befürchte deshalb, dass die an sich ganz gute Idee in dem Fall eine Sackgasse ist.<br /> <br /> Viel Erfolg noch beim Lernen!<br /> <br /> Marvin (Tutor) MON-AD https://info2.aifb.kit.edu/qa/index.php?qa=6632&qa_1=alternative-l%C3%B6sung&show=6633#a6633 Fri, 01 Feb 2019 10:31:33 +0000 Beantwortet: Fehler in Kapitel 4 Folie 7 -Vorlesung https://info2.aifb.kit.edu/qa/index.php?qa=6549&qa_1=fehler-in-kapitel-4-folie-7-vorlesung&show=6551#a6551 Hallo uwoph, <br /> <br /> du has vollkommen Recht. <br /> <br /> die linke Seite darf bei einer momotonen Grammatik natürlich nur maximal so groß sein wie die rechte Seite. <br /> <br /> Viele Grüße<br /> <br /> Claus (Tutor) MON-AB https://info2.aifb.kit.edu/qa/index.php?qa=6549&qa_1=fehler-in-kapitel-4-folie-7-vorlesung&show=6551#a6551 Fri, 04 Jan 2019 16:38:49 +0000 Beantwortet: Ableitung eines Wortes https://info2.aifb.kit.edu/qa/index.php?qa=6248&qa_1=ableitung-eines-wortes&show=6249#a6249 Wollen Sie wissen, wie man auf die Grammatik kommt, oder wie man das Wort ableitet? Beides ist letztendlich Übungssache. Wenn Sie viele Übungsaufgaben zu dem Thema gemacht haben, schaffen Sie das immer schneller.<br /> <br /> Die Grammatik in der Aufgabe ist nicht einfach zu finden; deshalb ist sie in der Aufgabenstellung gegeben. So eine schwierige Grammatik würden wir in der Klausur nicht abfragen.<br /> <br /> Aber diese Art von Aufgaben ist auf jeden Fall wichtig für die Klausur. Sie sollten in der Lage sein, kontextfreie, kontextsensitive, monotone und allgemeine Grammatiken für alle möglichen Sprachen anzugeben. Monotone Grammatiken können dabei durchaus knifflig sein. Schauen Sie sich bitte die entsprechenden Aufgaben an und lernen Sie die wichtigsten Standardmethoden für das Aufstellen solcher Grammatiken. MON-AB https://info2.aifb.kit.edu/qa/index.php?qa=6248&qa_1=ableitung-eines-wortes&show=6249#a6249 Thu, 01 Feb 2018 19:26:54 +0000 Beantwortet: Übungsbuch Theoretische Informatik https://info2.aifb.kit.edu/qa/index.php?qa=6216&qa_1=%C3%BCbungsbuch-theoretische-informatik&show=6218#a6218 Hallo Tobi<br /> <br /> Zur Abgrenzung der beiden Grammatiken: Zu jeder kontextsensitiven Grammatik gibt es eine monotone Grammatik. Beide erzeugen die gleiche Sprachklasse. Kontextsensitive Grammatiken sind auch monotone (da keine Verkürzungen erlaubt sind), aber monotone Grammatiken sind eben nicht unbedingt kontextsensitiv. So sind reine Umbenennungen bei monotonen Grammatiken erlaubt, bei kontextsensitiven jedoch nicht.<br /> <br /> VG<br /> <br /> Anastasia (Tutorin) MON-AB https://info2.aifb.kit.edu/qa/index.php?qa=6216&qa_1=%C3%BCbungsbuch-theoretische-informatik&show=6218#a6218 Wed, 24 Jan 2018 16:42:39 +0000 Beantwortet: Saalübung 1/A3 https://info2.aifb.kit.edu/qa/index.php?qa=6118&qa_1=saal%C3%BCbung-1-a3&show=6136#a6136 <p> <span style="font-family:arial,helvetica,sans-serif;">Hallo,</span></p> <p> <span style="font-family:arial,helvetica,sans-serif;">wenn die Formulierung nur eine kontextsensitive Grammatik erlaube würde hätten Sie Recht. In der Formulierung wird jedoch gesagt:</span></p> <p> <span style="font-size:12px;"><span style="font-family: arial, helvetica, sans-serif;">"Geben Sie eine</span></span><span style="font-size:12px;"><span style="font-family: arial, helvetica, sans-serif;"> kontextsensitive oder monotone</span></span><span style="font-size:12px;"><span style="font-family: arial, helvetica, sans-serif;"> Grammatik"</span></span></p> <p> <span style="font-size:12px;"><span style="font-family: arial, helvetica, sans-serif;">Es handelt sich demzufolge um eine monotone Grammatik.</span></span></p> <p> <span style="font-size:12px;"><span style="font-family: arial, helvetica, sans-serif;">Viele Grüße</span></span></p> <p> <span style="font-size:12px;"><span style="font-family: arial, helvetica, sans-serif;">Alex (Tutor)</span></span></p> MON-AB https://info2.aifb.kit.edu/qa/index.php?qa=6118&qa_1=saal%C3%BCbung-1-a3&show=6136#a6136 Sun, 14 Jan 2018 09:00:28 +0000 Beantwortet: Greibach Normal Form https://info2.aifb.kit.edu/qa/index.php?qa=5472&qa_1=greibach-normal-form&show=5473#a5473 Haben Sie sich mal den Algorithmus für die GNF angeschaut? Im Lehrbuch wird der beschrieben - über 10 Seiten oder so! Nicht dass das nicht ein spannender Algorithmus wäre, aber nein, den müssen Sie nicht kennen.<br /> <br /> Sie müssen aber wissen, was die GNF ist und ein paar grundlegende Eigenschaften kennen (siehe alte Klausuren). MON-AB https://info2.aifb.kit.edu/qa/index.php?qa=5472&qa_1=greibach-normal-form&show=5473#a5473 Tue, 07 Feb 2017 18:36:42 +0000 Teilaufgabe d https://info2.aifb.kit.edu/qa/index.php?qa=5262&qa_1=teilaufgabe-d Wenn es wie hier eine kontextsensitive Grammatik G1 zu einer bestimmten Sprache gibt, heißt das dann nur dass die zugehörige LBA die Sprache erkennt?<br /> Oder heißt das auch, dass die LBA die Sprache akzeptiert? Denn wenn ich es richtig verstanden habe, gibt es eine LBA die diese Sprache erkennt, aber nicht akzeptiert.<br /> <br /> Ist das also bei allen Grammatiken so, dass der zugehörige Automat die Sprache erkennt, aber nicht immer akzeptiert? Oder ist das nur bei der TM und der LBA so, weil diese nicht unbedingt das ganze Wort einlesen? MON-AE https://info2.aifb.kit.edu/qa/index.php?qa=5262&qa_1=teilaufgabe-d Fri, 03 Feb 2017 08:21:23 +0000 Beantwortet: Herangehensweise https://info2.aifb.kit.edu/qa/index.php?qa=5214&qa_1=herangehensweise&show=5215#a5215 Die ausführliche Antwort von Lukas König hilft bestimmt weiter:<br /> <br /> <a href="http://info2.aifb.kit.edu/qa/index.php?qa=5023&amp;qa_1=grammatik-sodass-l-g-l" rel="nofollow" target="_blank">http://info2.aifb.kit.edu/qa/index.php?qa=5023&amp;qa_1=grammatik-sodass-l-g-l</a><br /> <br /> Viele Grüße<br /> <br /> Philipp (Tutor) MON-AB https://info2.aifb.kit.edu/qa/index.php?qa=5214&qa_1=herangehensweise&show=5215#a5215 Wed, 01 Feb 2017 15:08:49 +0000 Beantwortet: alternative Lösung https://info2.aifb.kit.edu/qa/index.php?qa=5197&qa_1=alternative-l%C3%B6sung&show=5200#a5200 Hi,<br /> <br /> deine Grammatik ist in den Grundzügen richtig, jedoch wird in der Fragestellung eine monotone Grammatik gewünscht. (Ich gehe davon aus, dass die vorletzte Regel bB -&gt; bb heißen sollte)<br /> <br /> In deiner ersten Zeile überführst du S in Lambda, was gegen die Monotonie spricht. Die einzige Ausnahme, wann S auf Lambda überführt werden darf ist, wenn S auf keiner rechten Seite vorkommt. Bei dir ist das jedoch der Fall S -&gt; XSC.<br /> <br /> Viele Grüße<br /> <br /> Marc MON-AD https://info2.aifb.kit.edu/qa/index.php?qa=5197&qa_1=alternative-l%C3%B6sung&show=5200#a5200 Wed, 01 Feb 2017 07:57:57 +0000 Beantwortet: nicht monotone Grammatik Vorschlag https://info2.aifb.kit.edu/qa/index.php?qa=5189&qa_1=nicht-monotone-grammatik-vorschlag&show=5191#a5191 Hallo,<br /> <br /> nein die stimmt leider nicht.<br /> <br /> Durch deine dritte Regel reichern sich am Ende des Wortes beliebig viele D's an.<br /> <br /> Du hast aber nur ein Y, sodass du die Regel DY--&gt;lambda nur einmal anwenden kannst und die D's nicht wegbekommst.<br /> <br /> XBY--&gt;XDBY--&gt; XDDBY--&gt; XDBBDY--&gt; XBBDBDY--&gt; XBBBBDDY--&gt; XBBBBD--&gt; BBBBD--&gt; bbbbD<br /> <br /> Das einzige Wort aus L, das sich produzieren lässt ist bb, soweit ich sehe.<br /> <br /> Viele Grüße<br /> <br /> Lukas (Tutor) MON-AB https://info2.aifb.kit.edu/qa/index.php?qa=5189&qa_1=nicht-monotone-grammatik-vorschlag&show=5191#a5191 Tue, 31 Jan 2017 19:40:49 +0000 Beantwortet: monotone Grammatik https://info2.aifb.kit.edu/qa/index.php?qa=5182&qa_1=monotone-grammatik&show=5186#a5186 Hallo,<br /> <br /> wie du sagst darf D auf keiner rechten Seite vorkommen. Das tut es bei dir in der ersten Zeile: ADb und DD. Außerdem müsstest du hier darauf achten, dass D auch als Startzustand in der Definition des Automaten definiert ist. MON-AB https://info2.aifb.kit.edu/qa/index.php?qa=5182&qa_1=monotone-grammatik&show=5186#a5186 Tue, 31 Jan 2017 15:50:36 +0000 Beantwortet: Was sähe die nicht monotone Grammatik aus? https://info2.aifb.kit.edu/qa/index.php?qa=4881&qa_1=was-s%C3%A4he-die-nicht-monotone-grammatik-aus&show=4885#a4885 Hallo,<br /> <br /> nicht monoton bedeutet ja nur, dass es auch Übergänge geben kann, bei denen die rechte Seite kürzer ist als die linke. Da man hierbei also nicht darauf achten muss, dass die Grammatik monoton ist, sollte es einem einfacher fallen eine entsprechende Grammatik zu finden. Hier gibt es viele verschiedene Ansätze.<br /> Wenn man hier auf keinen Ansatz kommt, und die Grammatik trotzdem so gestalten will, dass es einen verkürzenden Übergang gibt kann man ja auch einfach einen bestehenden Übergang so umstellen/ aufteilen, dass sich ein verkürzender Übergang ergibt. Bsp. Statt: S-&gt; bb|b<br /> schreibt man S -&gt; bA , A -&gt;b|lambda. Ist dann wahrscheinlich nicht im Sinne der Aufgabe, aber wäre eine Möglichkeit möglichst schnell und ohne viel Aufwand eine nicht monotone Grammatik zu bekommen.<br /> <br /> Grüße, Sören MON-AB https://info2.aifb.kit.edu/qa/index.php?qa=4881&qa_1=was-s%C3%A4he-die-nicht-monotone-grammatik-aus&show=4885#a4885 Mon, 16 Jan 2017 09:46:16 +0000 Beantwortet: Alternativlösung zu a) https://info2.aifb.kit.edu/qa/index.php?qa=4271&qa_1=alternativl%C3%B6sung-zu-a&show=4280#a4280 Hallo,<br /> <br /> wie bereits geschrieben würde uns das XWizard Skript sehr helfen.<br /> <br /> Allerdings habe ich auch so schon ein Wort gefunden, das nicht durch deine Grammatik erzeugt werden kann, nämlich w=aabbcc.<br /> <br /> Generell haben wir das Problem, dass wir mit einer rechtslinearen Grammatik bzw. dessen dazugehörigen endlichen Automaten nicht die Anzahl der einzelnen Zeichen zählen können. Daher geht eben genau die n-fache Hintereinanderschreibung von einem Zeichen in deiner Grammatik nicht.<br /> <br /> Du könntest ja zur Übung mal probieren mit dem Pumping-Lemma nachzuweisen, dass du für diese Sprache keine Typ3-Grammatik finden wirst ;)<br /> <br /> Viele Grüße,<br /> <br /> Tim MON-AC https://info2.aifb.kit.edu/qa/index.php?qa=4271&qa_1=alternativl%C3%B6sung-zu-a&show=4280#a4280 Sat, 13 Feb 2016 16:14:55 +0000 Beantwortet: kontextsensitve Grammatik, Regeln zusammenfassen https://info2.aifb.kit.edu/qa/index.php?qa=3416&qa_1=kontextsensitve-grammatik-regeln-zusammenfassen&show=3419#a3419 <div> Hey Uxdiu,</div> <div> auf S. 159 des Info-Buchs (Teil 1) steht allerdings folgendes:</div> <div> "</div> <div> Beispiel-Grammatik:</div> <div> G = ({S, A, B}, {a, b}, P, S ),</div> <div> P = {S → ABS,</div> <div> abAB → abaB | abba,</div> <div> AB → ab,</div> <div> B → bb}</div> <div> "</div> <div> Somit scheint bei kontextsensitiven Grammatiken AB-&gt; ab doch erlaubt zu sein. Warum ist das so?</div> <div> &nbsp;</div> <div> Danke bereits im Voraus ;)</div> MON-AB https://info2.aifb.kit.edu/qa/index.php?qa=3416&qa_1=kontextsensitve-grammatik-regeln-zusammenfassen&show=3419#a3419 Fri, 08 Jan 2016 13:28:40 +0000 Beantwortet: Alternativer Lösungsvorschlag https://info2.aifb.kit.edu/qa/index.php?qa=3413&qa_1=alternativer-l%C3%B6sungsvorschlag&show=3414#a3414 <p> Hey updrq,<br> <br> deine Grammatik ist leider nicht korrekt. Zum einen ist deine Grammatik nicht monoton, was in der Aufgabenstellung gefordert war.<br> Eine Grammatik ist dann monoton, wenn für alle Regeln die länge der Symbolkette auf der rechten Seite mindestens so groß ist wie die Länge der Symbolkette auf der linken Seite. Deine letzte Regel verstößt dagegen.<br> <br> Aber ungeachtet davon, könnte mit einer Gramatik mit deiner Regelmenge Wörter produziert werden, die nicht zur Sprache gehören: Ein Beispiel<br> <span style="background-color:#00ff00;">S</span> ⇒a<span style="background-color:#00ff00;">A</span>B<strong>⇒</strong>aa<span style="background-color:#00ff00;">AB</span>B⇒aacb<span style="background-color:#00ff00;">AB</span>⇒aacb<span style="background-color:#00ff00;">cb</span>A⇒aacbb<span style="background-color:#00ff00;">cA</span>⇒aacbbc<br> <br> <br> Viele Grüße<br> Ashvin</p> MON-AD https://info2.aifb.kit.edu/qa/index.php?qa=3413&qa_1=alternativer-l%C3%B6sungsvorschlag&show=3414#a3414 Fri, 08 Jan 2016 10:12:09 +0000 Beantwortet: Monotone Grammatik aufstellen https://info2.aifb.kit.edu/qa/index.php?qa=3362&qa_1=monotone-grammatik-aufstellen&show=3363#a3363 Hey utdtz,<br /> <br /> zunächst einmal ist in der Aufgabe nach einer Grammatik gefragt. Du darfst also (vor allem in der Klausur) nicht die Definitionen der Menge der Nonterminalsymbole N, der Terminalsymbole T und das Startsymbol S vergessen.<br /> <br /> Nun zu deiner Regelmenge P. Die Regeln sind zwar monoton aber nicht korrekt.<br /> Eine Grammatik mit deiner Regelmenge würde zwar eine Sprache erzeugen deren Wörter zunächst mit a's beginnen, dann folgen b's und die Wörter enden anschließend mit c's. Die Anzahl der verschiedenen Buchstaben wäre bei dir aber komplett beliebig. Das Wort aabbbbbc würde zum Beispiel zur Sprache gehören.<br /> Die in der Aufgabenstellung angegebene Sprache enthält aber nur diejenigen Wörter, bei denen die Anzahl der a's, b's und c's gleich ist.<br /> <br /> Viele Grüße<br /> Ashvin (Tutor) MON-AD https://info2.aifb.kit.edu/qa/index.php?qa=3362&qa_1=monotone-grammatik-aufstellen&show=3363#a3363 Wed, 30 Dec 2015 22:24:35 +0000 Beantwortet: Warum gibt es einen Unterschied in den jeweiligen Beziehungen zwischen Grammatiken und Sprachen? https://info2.aifb.kit.edu/qa/index.php?qa=3333&qa_1=unterschied-jeweiligen-beziehungen-zwischen-grammatiken&show=3334#a3334 Sie haben das richtig beschrieben. Für Sprachen gilt durchgehend:<br /> $$L_3 \subseteq L_2 \subseteq &nbsp;L_1 \subseteq L_0$$<br /> Bei Grammatiken gilt allerdings nur (bspw.):<br /> $$\mbox{rechtslineare} \subseteq \mbox{kontextfreie} \subseteq \mbox{allgemeine}$$<br /> sowie<br /> $$\mbox{kontextsensitive $=$ monotone} \subseteq \mbox{allgemeine}$$<br /> Das liegt daran, dass kontextsensitive bzw. monotone Regeln genau eine Restriktion haben, die kontextfreie Grammatiken nicht haben: bei beiden darf ein Wort während der Ableitung nicht kürzer werden. Bei kontextfreien Grammatiken sind Regeln der Form<br /> $$A \rightarrow \lambda$$<br /> uneingeschränkt erlaubt, was einer Verkürzung des Wortes entspricht. Bei kontextsensitiven oder monotonen Grammatiken ist dagegen nur eine einzige Regel<br /> $$S \rightarrow \lambda$$<br /> erlaubt, und auch nur, wenn $S$ auf keiner rechten Seite vorkommt. Damit ist klar, dass es kontextfreie Grammatiken gibt, die nicht kontextsensitiv oder monoton sind.<br /> <br /> ABER: Trotzdem sind kontextsensitive und monotone Grammatiken wesentlich ausdrucksstärker als kontextfreie. Insbesondere kann also jede kontextfreie Sprache durch eine kontextsensitive oder monotone Grammatik definiert werden. (Man muss allerdings unter Umständen eine neue Grammatik aufstellen, wenn man für eine kontextfreie Grammatik eine äquivalente monotone bzw. kontextsensitive Grammatik erhalten will. Bei rechtslinearen Grammatiken gilt dagegen, dass sie automatisch auch kontextfrei sind.) Deshalb gilt die Hierarchie bei den Sprachen durchgehend, bei den Grammatiken aber nicht.<br /> <br /> Eine kontextfreie Grammatik kann monoton (UND kontextsensitiv) gemacht werden, indem sie lambda-frei gemacht wird. Siehe erster Schritt bei der Erzeugung der Chomsky-Normalform. Sie können sich das auch im XWizard anschauen, bspw. bei folgendem Skript:<br /> <br /> <a href="http://www.xwizard.de:8080/Wizz?template=ID-10086" rel="nofollow" target="_blank">http://www.xwizard.de:8080/Wizz?template=ID-10086</a><br /> <br /> Klicken Sie auf &quot;epsilon-frei&quot;, um die verkürzende Regel zu entfernen. MON-AB https://info2.aifb.kit.edu/qa/index.php?qa=3333&qa_1=unterschied-jeweiligen-beziehungen-zwischen-grammatiken&show=3334#a3334 Sat, 26 Dec 2015 15:09:23 +0000 Beantwortet: Frage klausurrelevant? https://info2.aifb.kit.edu/qa/index.php?qa=804&qa_1=frage-klausurrelevant&show=805#a805 Nein, eine so schwere Aufgabe wird in der Klausur sicher nicht drankommen. Allerdings ist das Thema Grammatiken natürlich relevant, und das Beschäftigen mit der Aufgabe kann eine gute Klausurvorbereitung sein.<br /> <br /> Viele Grüße<br /> <br /> Lukas König und Friederike Pfeiffer-Bohnen MON-AE https://info2.aifb.kit.edu/qa/index.php?qa=804&qa_1=frage-klausurrelevant&show=805#a805 Fri, 31 Oct 2014 07:13:01 +0000 Beantwortet: Frage zur Sprache in der Lösung https://info2.aifb.kit.edu/qa/index.php?qa=800&qa_1=frage-zur-sprache-in-der-l%C3%B6sung&show=803#a803 Ja, das stimmt, die Null müsste auch dabei sein. Ist korrigiert und hochgeladen.<br /> <br /> Viele Grüße<br /> <br /> Lukas König und Friederike Pfeiffer-Bohnen MON-AB https://info2.aifb.kit.edu/qa/index.php?qa=800&qa_1=frage-zur-sprache-in-der-l%C3%B6sung&show=803#a803 Fri, 31 Oct 2014 07:08:13 +0000 Beantwortet: Was ist hier "phi1"/"phi2"? https://info2.aifb.kit.edu/qa/index.php?qa=796&qa_1=was-ist-hier-phi1-phi2&show=797#a797 <p> Hallo,</p> <p> ich habe die Produktionsregeln einer monotonen Grammatik in einem anderen Threat gepostet:&nbsp;</p> <div class="ilFrmPostContent"> <a href="http://info2.aifb.kit.edu/qa/index.php?qa=786&amp;qa_1=produktionen-bei-onotonen-grammatiken" rel="nofollow" target="_blank">http://info2.aifb.kit.edu/qa/index.php?qa=786&amp;qa_1=produktionen-bei-onotonen-grammatiken</a></div> <p> Falls du noch weitere Fragen hast, kannst du sie auch gerne hier stellen.</p> <p> Max (Tutor)</p> MON-AC https://info2.aifb.kit.edu/qa/index.php?qa=796&qa_1=was-ist-hier-phi1-phi2&show=797#a797 Fri, 31 Oct 2014 06:58:11 +0000 Beantwortet: Alternativer Lösungsvorschlag zu b) https://info2.aifb.kit.edu/qa/index.php?qa=794&qa_1=alternativer-l%C3%B6sungsvorschlag-zu-b&show=795#a795 <div class="ilFrmPostContent"> <p> Hallo Lars,</p> <p> ich sehe keinen Widerspruch. Müsste so passen!</p> <p> Grüße,</p> <p> Jördis ( Tutorin )</p> </div> <p> &nbsp;</p> MON-AC https://info2.aifb.kit.edu/qa/index.php?qa=794&qa_1=alternativer-l%C3%B6sungsvorschlag-zu-b&show=795#a795 Fri, 31 Oct 2014 06:45:53 +0000 Beantwortet: Alternativer Lösungsvorschlag zu a) https://info2.aifb.kit.edu/qa/index.php?qa=792&qa_1=alternativer-l%C3%B6sungsvorschlag-zu-a&show=793#a793 <div class="ilFrmPostContent"> <p> Hallo,</p> <p> nein, die Grammatik ist nicht korrekt. Zum einen darf bei einer momotonen Grammatik nur S nach lambda abgeleitet werden.</p> <p> Zum anderen produzierst du somit nur Worte, bei denen a, b und c immer in dreier-Blöcken zusammenhängen. Wörter wie etwa aaaaabcbcbcbcbc, die ganz klar Teil der Sprache sind, können nicht erzeugt werden.</p> <p> Du darfst an sich aber alles auf die rechte Seite schreiben, solange gilt, dass die linke Seite kürzer oder gleichlang ist.</p> <p> Viele Grüße</p> <p> Philippe (Tutor)</p> </div> <p> &nbsp;</p> MON-AC https://info2.aifb.kit.edu/qa/index.php?qa=792&qa_1=alternativer-l%C3%B6sungsvorschlag-zu-a&show=793#a793 Fri, 31 Oct 2014 06:44:12 +0000 Beantwortet: Frage zu Eigenschaften der angegebenen Grammatik https://info2.aifb.kit.edu/qa/index.php?qa=789&qa_1=frage-zu-eigenschaften-der-angegebenen-grammatik&show=790#a790 <div class="ilFrmPostContent"> <p> Hallo,</p> <p> ja, die Grammatik ist nicht kontextsensitiv. Im Fall AB-&gt;BA zum Beispiel werden auf einen Schlag 2 Nonterminalsymbole ersetzt, kontextsensitive Grammatiken schreiben aber vor, dass man lediglich ein N durch eine nichtleere Kette aus N und T ersetzt und den Rest, also den Kontext, gleich lässt.</p> <p> Viele Grüße,</p> <p> Vivian (Tutor)</p> </div> <p> &nbsp;</p> MON-AC https://info2.aifb.kit.edu/qa/index.php?qa=789&qa_1=frage-zu-eigenschaften-der-angegebenen-grammatik&show=790#a790 Fri, 31 Oct 2014 06:42:10 +0000 Beantwortet: Alternativer Lösungsvorschlag https://info2.aifb.kit.edu/qa/index.php?qa=344&qa_1=alternativer-l%C3%B6sungsvorschlag&show=345#a345 <p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 18.511999130249px; vertical-align: baseline; color: rgb(0, 0, 0);"> Nein, das ist KEINE korrekte Lösung.</p> <p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 18.511999130249px; vertical-align: baseline; color: rgb(0, 0, 0);"> Sorry!</p> <p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 18.511999130249px; vertical-align: baseline; color: rgb(0, 0, 0);"> Tobias (Tutor)</p> MON-AD https://info2.aifb.kit.edu/qa/index.php?qa=344&qa_1=alternativer-l%C3%B6sungsvorschlag&show=345#a345 Thu, 16 Oct 2014 20:46:41 +0000 Beantwortet: Allgemeines Vorgehen bei monotonen Grammatiken https://info2.aifb.kit.edu/qa/index.php?qa=342&qa_1=allgemeines-vorgehen-bei-monotonen-grammatiken&show=343#a343 <p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 18.511999130249px; vertical-align: baseline; color: rgb(0, 0, 0);"> Ein allgemeingültiges Schema kenne ich nicht. Es gibt ein paar Tricks, die hilfreich sein können, z.B. ein Nonterminal, dass für ein bestimmtes Terminal steht. Ich würde überlegen + zur Übung ein paar Grammatiken entwerfen vorschlagen. Die Regeln für die Grammatik muss man natürlich vorher lernen ...</p> <p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 18.511999130249px; vertical-align: baseline; color: rgb(0, 0, 0);"> Tobias (Tutor)</p> MON-AD https://info2.aifb.kit.edu/qa/index.php?qa=342&qa_1=allgemeines-vorgehen-bei-monotonen-grammatiken&show=343#a343 Thu, 16 Oct 2014 20:42:44 +0000 Beantwortet: Verständnisfrage zur Ableitung von Wörtern durch Grammatiken https://info2.aifb.kit.edu/qa/index.php?qa=340&qa_1=verst%C3%A4ndnisfrage-zur-ableitung-w%C3%B6rtern-durch-grammatiken&show=341#a341 <div> Hallo,</div> <div> &nbsp;</div> <div> das ist kein Problem.</div> <div> &nbsp;</div> <div> Gruß,</div> <div> &nbsp;</div> <div> Adam (Tutor)</div> MON-AD https://info2.aifb.kit.edu/qa/index.php?qa=340&qa_1=verst%C3%A4ndnisfrage-zur-ableitung-w%C3%B6rtern-durch-grammatiken&show=341#a341 Thu, 16 Oct 2014 20:40:54 +0000 Beantwortet: Alternativer Lösungsvorschlag https://info2.aifb.kit.edu/qa/index.php?qa=338&qa_1=alternativer-l%C3%B6sungsvorschlag&show=339#a339 <p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 18.511999130249px; vertical-align: baseline; color: rgb(0, 0, 0);"> Hallo,</p> <p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 18.511999130249px; vertical-align: baseline; color: rgb(0, 0, 0);"> das klappt leider nicht, weil du dann bspw. das Wort abcabc erzeugen könntest, das jedoch nicht Teil der Sprache ist.</p> <p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 18.511999130249px; vertical-align: baseline; color: rgb(0, 0, 0);"> Viele Grüße</p> <p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 18.511999130249px; vertical-align: baseline; color: rgb(0, 0, 0);"> Lukas (Tutor)</p> MON-AD https://info2.aifb.kit.edu/qa/index.php?qa=338&qa_1=alternativer-l%C3%B6sungsvorschlag&show=339#a339 Thu, 16 Oct 2014 20:38:39 +0000 Beantwortet: Alternative Lösung und Verständnisproblem https://info2.aifb.kit.edu/qa/index.php?qa=336&qa_1=alternative-l%C3%B6sung-und-verst%C3%A4ndnisproblem&show=337#a337 <p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 18.511999130249px; vertical-align: baseline; color: rgb(0, 0, 0);"> Hallo,</p> <p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 18.511999130249px; vertical-align: baseline; color: rgb(0, 0, 0);"> nein, denn in Aufgabe MON-AC muss lediglich die Anzahl gleich sein. Hier ist auch die Reihenfolge festgelegt (erst die as, dann die bs und zuletzt die cs).</p> <p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 18.511999130249px; vertical-align: baseline; color: rgb(0, 0, 0);"> Das mit dem leeren Wort ist so nicht richtig, da N an sich die 0 nicht enthält.</p> <p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 18.511999130249px; vertical-align: baseline; color: rgb(0, 0, 0);"> Viele Grüße</p> <p style="margin: 8px 0px; padding: 0px; border: 0px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; line-height: 18.511999130249px; vertical-align: baseline; color: rgb(0, 0, 0);"> Philippe (Tutor)</p> MON-AD https://info2.aifb.kit.edu/qa/index.php?qa=336&qa_1=alternative-l%C3%B6sung-und-verst%C3%A4ndnisproblem&show=337#a337 Thu, 16 Oct 2014 20:36:56 +0000