Theoretische und technische Informatik - ganz praktisch - Letzte Fragen & Antworten in Kontextfreie Grammatiken

Alternative Lösung

Wed, 15 Feb 2023 11:58:30 +0000

Hallo,

Passt die Sprache

P={S -> aSb | SC | λ

C -> cC | λ} zu der Aufgabe?

Beantwortet: Ableitung für c

Thu, 06 Feb 2020 11:27:45 +0000

Man soll G in Chomsky-Normalform bringen, hierfür ist erlaubt:

Von Nonterminal zu 2 Nonterminalen
Von Nonterminal zu 1 Terminal

C-->c ist von Nonterminal zu Terminal also kann man es so stehen lassen.

Bei den anderen Aufgaben die du gemacht hast waren hier vermutlich auf der rechten Seite vermutlich noch mehrere Terminale oder mehr als zwei Nonterminale wodurch die zusättliche Regel eingeführt wurde.

Siehe hierzu Tut 4...hier wird das Vorgehen erklärt.

LG, Nico (Tutor) (Alle Angaben ohne Gewähr)

Beantwortet: 10 Kontextfreie Grammatik Teil 2 Folie GDI2 -107 (Pumping-Lemma für kontextfreie Sprachen)

Mon, 03 Feb 2020 10:19:06 +0000

Hallo,

ja da hast du recht das ist in den Folien nicht korrekt. Hier wird immer wieder abwechselnd z und w vertauscht auch innerhalb einer Aufgabe. Ich gebe es mal an die Übungsleiter weiter. Ursprünglich wollte man hier w weiterhin für das wort stehen lassen (da es vorher auch immer so war) und hat deshalb bei uvwxy dass w durch z ersetzt dies aber anscheinand an manchen Stellen vergessen.

Constantin (Tutor)

Beantwortet: Alternative Lösung

Mon, 13 Jan 2020 16:22:33 +0000

Hallo ulqgs,

an sich müsste der Algorithmus das Wort akzeptieren, wenn es aus der gegebenen CNF produziert wurde.
Anhand deiner Angaben könnte sich nur der Fehler eingeschlichen haben, dass du am Ende die Regeln, in denen Nonterminalsymbole in Terminalsymbole überführt werden, nicht richtig angepasst hast. Ansonsten reichen die Infos leider für keine tiefer führende Antwort.

Viele Grüße

Moritz (Tutor)

Beantwortet: (b): Korrekter Eintrag in Kästchen m=3, erstes b ?

Mon, 13 Jan 2020 15:05:50 +0000

Hallo,

ja, der Eintrag ist richtig.

Um das Kästchen (m=3, 3. Spalte) zu befüllen, betrachten wir paarweise die anderen Kästchen.

1) Wir betrachten das Kästchen in de rgleichen Spalte ganz oben (m=1, 3. Spalte) und dazu das Kästchen schräg rechts über dem zu betrachtenden Kästchen (also das Kästchen mit m=2, 4. Spalte). Im einen Kästchen lesen wir (A,F) und im anderen (S, S'). Jetzt schauen wir in der Regelmenge, ob es eine Regel gibt, durch die wir auf eine der Kombinationen AS, AS', FS, FS' kommen. Diese gibt es nicht, also schauen wir die nächsten Kästchen an.

2) Jetzt betrachten wir die Kästchen (m=2, 3. Spalte) und (m=1, 5. Spalte). Hier lesen wir im ertsen Kästchen (B), und im zweiten Kästchen (B, E). Jetzt schauen wir wieder in der Regelmenge, ob es eine Regel gibt, durch die wir auf eine der Kombinationen BB oder BE kommen. Diese gibt es nicht.

Also kommt in das Kästchen (m=3, 3. Spalte) ein "-".

Ich hoffe das hilft dit weiter.

Viele Grüße,

Tim (Tutor)

Beantwortet: Algorithmus Grammatik zu Kellerautomat

Mon, 13 Jan 2020 14:59:49 +0000

Hallo,

laut Algorithmus benötigen wir 3 Zustände. Zuerst fügen wir unser Startsymbol in den Keller ein und wechseln in den Zustand s1. Dann wird für jede Regel der Grammatik ein lambda-Übergang in s1 definiert sowie die Lösch-Vorgänge. Der letzte Schritt ist ein lambda-Übergang in den Endzustand.

Hoffe das hilft dir weiter

Viele Grüße

Jara (Tutorin)

Fall N=1

Tue, 09 Jul 2019 15:23:41 +0000

Hallo,

beim Fall N=1, hätte man doch mit S ein Nonterminalsymbol noch im wort (abScc), wenn es nach der Produktion P2 gehen würde. Bräuchte man nicht noch einen Lamda-Übergang. Also müsste doch folgende Produktion S-> lamda | abScc gelten, oder?

VG

Beantwortet: Aufgabe 54 Band I

Fri, 19 Jan 2018 13:09:13 +0000

Ein Tutor kann das bestimmt besser, d.h. studierendengerechter beantworten.

Allgemein ist meine Aussage dazu aber folgende: Solange wir verstehen, was Sie meinen, lassen wir Ihre Lösung auch gelten. Wir gehen da maximal zu Ihrem Gunsten vor. ABER: Erfahrungsgemäß machen Sie weitaus weniger Fehler, wenn Sie sich an die in der Vorlesung gelehrten Schemen halten. Wenn es tolle Abkürzungen gibt, dann bringen wir Ihnen diese auch bei oder schreiben Sie in die Hinweise in der Klausur. Wenn Sie eigene Abkürzungen finden, ist das super, aber oft sind solche Abkürzungen halt nicht allgemeingültig oder in anderer Hinsicht problematisch.

Wenn es nur darum geht, den Schritt "Lambda-Produktionen eliminieren" wegzulassen, wenn es solche gar nicht gibt, dann dürfen Sie das tun. Aber versuchen Sie sich nicht mit aller Macht Schreibarbeit zu ersparen, wenn darunter die Strukturiertheit oder Übersichtlichkeit leidet.

Beantwortet: Ableiten von Wörtern bei Grammatiken in Chomsky-Normalform

Fri, 12 Jan 2018 07:50:15 +0000

Hallo,

Zur ersten Frage:

Eine CNF besitzt eine sehr eingeschränkte Regelmenge, d.h. Ableitungsmöglichkeiten, da lediglich erlaubt ist: N -> NN | T. Damit erhält man ein etwas sequentielleres und strukturierteres Vorgehen beim Ableiten eines Testworts.

Im Gegensatz dazu sind bei beispielsweise Kontextfreien Grammatiken (aus denen oft eine CNF abgeleitet wird) die Ableitungen von einem N beliebig. Daher können diese sehr unschön aussehen, müssen allerdings nicht.

Im Allgemeinen ist es daher sinnvoll von einer CNF auszugehen. Ist die ursprüngliche Grammatik aber direkt einleuchtend, kann auch diese verwendet werden.

Zur zweiten Frage:

Nein gibt es leider nicht. Es ist aber immer sinnvoll, sich vorab eine grobe Struktur zu überlegen, über welche Schritte das Testwort erreicht werden kann.

Viele Grüße,

Timon (Tutor)

Beantwortet: Muss man in CNF/GNF umformen können?

Thu, 09 Feb 2017 14:24:09 +0000

Nur CNF, nicht GNF.

A56, Chomsky-Normalfom mit λ?

Fri, 03 Feb 2017 20:45:14 +0000

Guten Abend,

mir erschließt sich leider die Verwendung des λ in der Chomsky-NF nicht. Diese ist ja schließlich unter anderem auch so definiert, dass eben jede kontextfreie Grammatik in der Chomsky-NF (und auch Greibach-NF) dargestellt werden kann, jedoch dann das λ fehlt.

Wird hier also nicht gegen die λ-Freiheit verstoßen?

Beantwortet: Alternativlösung

Wed, 01 Feb 2017 07:38:22 +0000

Hallo, deine Grammatik ist nicht richtig, da du beispielsweise über die erste Regel das b an den rechten Rand schreiben kannst und dazwischen c's auftauchen können. Betrachte zum Beispiel die Produktiond es Wortes aaabbcb. Dieses Wort kann von deiner Grammatik erzeugt werden, entspricht aber nicht der Sprache, da dort die c's erst nach den b's auftreten.

Beantwortet: Schritt (4) Umbenennung doppelt

Tue, 24 Jan 2017 12:51:49 +0000

Ja, das wäre absolut auch in Ordnung!

Wenn man so einfach sagen könnte, wann das Zusammenfassen zu Problemen führen kann, würde es wahrscheinlich gar nicht mehr zu Problemen führen Solange man einen einfachen übersichtlichen Fall wie hier hat, ist es kein Problem, die Variable doppelt zu benutzen, denn man "sieht" ja, dass keine Nebeneffekte entstehen können (also Ableitungen, die man nicht haben wollte). Wird es aber komplexer, kann man leicht die Übersicht verlieren, denn die Ableitung durch Grammatiken ist ja hochgradig nichtdeterministisch. Auch bei der Implementierung eines Algorithmus für die CNF würde man normalerweise die sichere Variante wählen, denn zu entscheiden, wann eine Variable mehrfach genutzt werden kann, ist knifflig. (Wahrscheinlich gibt es dafür schon auch Regeln, die man einsehen würde, aber wir behandeln das in der Vorlesung nicht, und daher gilt einfach: Wenn Sie sich zutrauen, den Überblick zu behalten, dann komprimieren Sie die Grammatik, so weit Sie wollen, und wenn nicht, dann bleiben Sie auf der sicheren Seite.)

Beantwortet: (c) Produktion des Testwortes

Sat, 14 Jan 2017 11:10:09 +0000

Hallo,

wie du vielleicht schon gemerkt hast gibt es oft mehrere richtige Lösungen für Automaten. Das gleiche gilt natürlich auch für Grammatiken. Je nach dem in welcher Form deine Grammatik vorliegen soll, hast du jedoch manchmal mehr und manchmal weniger „Spielraum“.
Bei einer monotonen Grammatik beispielsweise könntest du z.B. statt A --> aa auch die Produktionen A--> BC , B --> a, C --> c verwenden, wodurch du eben dann „mehr Übergänge“ bräuchtest um dein Testwort aa abzuleiten.
Bei der Aufgabe hier soll die Grammatik ja in Chomsky-Normalform vorliegen, hier hast du nicht ganz so viel „Spielraum“, weil die Übergänge, welche erlaubt sind, eigentlich sehr stark vorgeschrieben sind.

Wichtig ist auch, dass allein die Produktion des Testworts nicht garantiert, dass die Grammatik richtig ist. Es müssen natürlich auch alle weiteren Wörter der Sprache abgedeckt werden und es dürfen auch keine Wörter produziert werden, die nicht Teil der Sprache sind.

Grüße, Sören (Tutor)

Beantwortet: Ausführlichkeit der Lösung

Sat, 14 Jan 2017 09:01:24 +0000

Allgemein gilt, dass Zwischenschritte nicht unbedingt notwendig sind, aber sie sind gut für Sie, weil wir so später bei der Korrektur nachvollziehen können, was Sie getan haben und eventuell noch Punkte vergeben können, obwohl das Endergebnis falsch ist.

Gerade bei CNF könnte es aber sein, dass in der Aufgabenstellung steht: "Geben Sie alle Zwischenschritte an." Und dann ist es natürlich verlangt, alle hinzuschreiben. (Wenn sich in einem Schritt keine Veränderung ergibt, dann logischerweise nicht!)

Beantwortet: Aufgabe 51: Alternative Lösung

Fri, 15 Jul 2016 15:26:26 +0000

Ja, das geht auch.

Grüße

Lukas König

Beantwortet: Alternative Lösung A51a)

Tue, 28 Jun 2016 06:19:12 +0000

Hi ich glaube dein Vorschlag ist leider nicht richtig. Es muss ja die Reinfolge beachtet werden das zuerst alle a dann b und dann die c kommen. Mit deiner Grammatik wäre das nicht gewährleistet, da ich z.B. S-> aSb-> aSAb -> aScb -> acb ableiten könnte.

Beantwortet: Verständnis

Sun, 07 Feb 2016 07:26:19 +0000

Ableitungsbaum, Parsebaum und Syntaxbaum verwenden wir synonym, ja.

Viele Grüße

Lukas König

Beantwortet: Verständnis

Sun, 07 Feb 2016 06:22:03 +0000

Hallo,

das ist lediglich eine alternative Schreibweise, in Aufgabe 55 wird die neue Menge N index(CNF)={S, B, C, D} eingefügt, die damit die entsprechenden Zeichen enthält.

Viele Grüße

Max (Tutor)

Beantwortet: Alternativlösung zu Kontextfreier Grammatik

Fri, 05 Feb 2016 12:54:52 +0000

Hallo,

zunächst folgendes Gegenbeispiel:

Testwort aaabbbb (nicht in der Sprache)

Mit deiner Grammatik wäre es wie folgt abzuleiten:

S -> aAaB -> aaaB -> aaabBb -> aaabbbb

Das Problem liegt im Zusammenspiel von erster und zweiter Regel. Damit ist es möglich, eine gerade Anzahl von a's im Wort zu erhalten (was jedoch die Sprache ausschießt).

Viele Grüße

Max (Tutor)

Beantwortet: andere Lösung

Fri, 05 Feb 2016 12:49:47 +0000

Hallo,

die Lösung sieht für mich richtig aus.

Gruß

Max (Tutor)

Beantwortet: 51 a) Alternative Grammatik

Tue, 02 Feb 2016 10:13:16 +0000

Ihre Grammatik ist meiner Ansicht nach korrekt (allerdings ein bisschen umständlich - was nicht schlimm ist).

Siehe auch hier:

http://www.xwizard.de:8080/Wizz?template=ID-14063#Output

Viele Grüße

Lukas König

Beantwortet: Verständnis der Lösung 50 a)

Mon, 01 Feb 2016 16:51:47 +0000

Hallo,

die Sprache enthält nur genau die Wörter, die stets zu Beginn eine ungerade Anzahl a's (2k+1) enthalten und danach 2k b's (gerade Anzahl).

Die Reihenfolge der Buchstaben spielt also eine Rolle, es sind nicht einfach alle Wörter mit insgesamt 2k+1 a's und 2k b's enthalten.

Viele Grüße

Max (Tutor)

Beantwortet: Alternative Lösung 49)a

Mon, 01 Feb 2016 16:42:03 +0000

Hallo,

zugegeben funktioniert deine Grammatik natürlich für das Testwort abbaabba aus Aufgabenteil b).

Allerdings ist die durch deine Grammatik entstehende Sprache nicht äquivalent mit der gesuchten, dazu folgendes Testwort:

ababbaba (ist in der Sprache der acht Zeichen langen Palindrome erhalten)

Folgender Ablauf:

S -> aBa -> abbCa oder aaaDa (siehe zweite Regel der Grammatik)

Hier wird schon klar, dass das obige Wort nicht mehr zu bilden ist, da z.B. zwischen den ersten zwei a's kein Nonterminalzeichen mehr existiert, welches zu einem b umgewandelt werden könnte.

Ich hoffe das Problem wird klar, so bildet die Grammatik zwar einzelne Testwörter ab, sie stellt jedoch keineswegs die gesuchte Sprache dar.

Gruß

Max (Tutor)

Beantwortet: Frage zur Reihenfolge von Nonterminalzeichen

Sun, 17 Jan 2016 09:56:45 +0000

Hallo uagll,

mit deinen Produktionsregeln lässt sich das leere Wort nicht ableiten, was für n=0, m=0 aber Teil der Sprache ist. Der Schritt bei S -> AB das A durch aAb zu ersetzen ist in diesem Fall also nicht möglich.

Viele Grüße

Gregor (Tutor)

Beantwortet: 2. Schritt der Chomsky-NF

Sat, 09 Jan 2016 14:23:51 +0000

Hallo,

bei den Beispielen, die du genannt hast, besteht der Unterschied darin, dass in der Aufgabe 55, in der das A im zweiten Schritt wegfällt, das A nicht "anderweitig verwendet" wird. Es ist eine reine Umbenennung von S → A, sonst kommt das A nirgens vor. Bei Aufgabe 54 gibt es neben dem Übergang S →A auch noch die Übergänge S → AB und S → ACa. Würdest du A ganz weglassen, würdest du also die Grammatik verändern.

Ich hoffe, das hilft dir weiter.

Viele Grüße

Sandra (Tutor)

Beantwortet: zugehörige menge

Sun, 03 Jan 2016 22:57:13 +0000

Hallo ugemt!

Laut dem verlinkten Aufgabenbuch gilt für den Exponenten k der Sprache L2, dass er Element der Menge N = {1,2,3, ...} ist, und die angegebene Grammatik in Aufgabenteil b) ist somit korrekt!

Viele Grüße,
Janine (Tutorin)

Beantwortet: Cocke-Younger-Kasami-Algorithmus: Vorgehensweise

Wed, 30 Dec 2015 03:53:38 +0000

Sehr schöne und ausführliche Antwort von Ashvin, vielen Dank dafür!

Nur zwei kleine Fehler haben sich in den angegebenen Pseudocode eingeschlichen: Das j in den Deklarationen von i und k muss durch m ersetzt werden, es bezeichnet die Zeilen der Tabelle.
Des weiteren bezeichnet F(i,m) das i-te Feld von links in der m-ten Zeile (nicht Spalte).

Und für alle, denen es wie mir geht und die durch die vielen Indizes und Laufvariablen total verwirrt sind: Ein kleines Bild, das zeigt, aus welchen Feldern die Symbole miteinander kombiniert werden, am Beispiel von Feld F(4,2). Es werden alle Symbole eingetragen, aus denen BS, BA, BC (1), SB, AB (2), A, C (3) abgeleitet werden können.

Viele Grüße,

Micaela Wünsche

Beantwortet: Alternative Lösung mit nur einem Nonterminalsymbol

Fri, 16 Jan 2015 10:45:13 +0000

Das entspricht doch genau der Musterlösung also ja, ist richtig.

Beantwortet: ist Musterlösung eine kontextsensitive Grammatik?

Wed, 26 Nov 2014 14:12:41 +0000

Das ist genau richtig, eine kontextfreie Grammatik hat nur ein Nonterminalsymbol auf der linken Seite (so wie in der Musterlösung), genauer:

$N \times (N \cup T)^\star$

Eine kontextsensitive Grammatik kann auf der linken Seite noch einen Kontext haben

$\phi_1A\phi_2 \rightarrow \phi_1 \psi \phi_2$ mit $\phi_1,\phi_2, \psi \in (N\cup T)^\star, A \in N, \psi \neq \lambda$

Sie sollten bei Ihrer Grammatik auch noch $A \rightarrow \lambda$ einfügen, sonst erhalten Sie immer mindestens doppelt so viele einsen wie nullen, und können so nicht alle geforderten Wörter erzeugen. Beachten Sie bitte auch, dass Sie bei den Terminal- und Nonterminalmengen Mengenklammern verwenden und die Produktion ebenfalls so angeben.

Freundliche Grüße
Friederike Pfeiffer

Beantwortet: Testwort 10101 zulässig ?

Wed, 26 Nov 2014 14:08:50 +0000

$ 0^i1^j$ heißt, dass erst ALLE 0er kommen müssen und dann ALLE 1er. 10101 ist daher nicht in der Sprache enthalten und lässt sich folglich auch nicht mit der Musterlösung erzeugen. Du verwechselst $0^i$ (i Nullen hintereinander) wahrscheinlich mit der Schreibweise $|w|_0$ für die Anzahl der 0er in w, egal wo sie in w stehen.

Tobias (Tutor)

Beantwortet: Übersicht alternativer Lösungsvorschläge aus dem alten ILIAS-Forum

Wed, 26 Nov 2014 13:54:55 +0000

Ist diese Lösung auch richtig:

S --> 0SA / A,

A --> AA / 1

Danke schonmal,

Grüße Melanie

Beantwortet: Allgemeine Vorgehensweise für diesen Aufgabentyp

Wed, 26 Nov 2014 13:39:34 +0000

Zur Vorgehensweise bei solchen Aufgaben:

Eine allgemeines Schema gibt es da nicht. Vor allem bei rechtslinearen Grammatiken kann man mit den Nonterminalsymbolen bestimmte Situationen codieren. Bei kontextfreien Grammatiken hat man oft die Struktur N -> TNT, um gleich viele (u.U.) verschiedene Terminalsymbole zu erzeugen. Dann kann man dieses Nonterminalsymbol N noch auf andere Zeichen abbilden, um weitere Eigenschaften zu realisieren. Üben um Erfahrung zu sammeln hilft hier viel ;-)

Viele Grüße,

Sven (Tutor)

Beantwortet: Äquivalenz von: B->cB & B->Bc ?

Wed, 26 Nov 2014 11:10:16 +0000

Nein, das ist nicht immer das gleiche. In diesem Fall macht es zwar keinen Unterschied, ob du auf Bc oder cB ableitest, weil die cs sowieso nur hinten dran gehängt werden und es abgesehen vom Lambda keine Alternativen gibt, auf die das B abgebildet werden könnte. Es gibt aber Beispiele, bei denen das einen Unterschied macht.

Viele Grüße

Lukas (Tutor)

Beantwortet: Übersicht alternativer Lösungsvorschläge aus dem alten ILIAS-Forum

Wed, 26 Nov 2014 11:07:44 +0000

Ist dies auch eine richtige kontextfreie Grammatik:

G=({S,A}, {a,b,c}, P, S)

P = {

S -> lambda | Sc | A,

A -> aAb | lambda }

Vielen Dank und Grüße

Beantwortet: Regel D -> lambda zulässig?

Sun, 23 Nov 2014 13:17:51 +0000

Hallo,

im Teil a) wird keine spezifische Grammatik vorausgesetzt. Du kannst es also machen, auch wenn es nicht sehr sinnvoll ist.

Gruß,

Adam (Tutor)

Beantwortet: Zwei Pfeile jeweils auf ein a auch möglich?

Sun, 23 Nov 2014 13:17:25 +0000

Stimmt, das mit dem einen Pfeil auf aa ist ein wenig vereinfacht, man könnte da auch zwei Pfeile für jedes der terminalen a's zeichnen. Ich werde das dahingehend ändern, denn es wäre tatsächlich formal etwas korrekter.

Viele Grüße

Lukas König und Friederike Pfeiffer

Beantwortet: Wie könnte rechtslineare Grammatik hier aussehen?

Sun, 23 Nov 2014 13:13:38 +0000

Sie müssten sich hier einfach den endlichen Automaten hinzeichen, welcher aber schon ziemlich aufwendig wird, da sie im Endeffekt jedes Wort, welches Sie erzeugen können, als einen separaten Zweig angeben müssen. Genau so gehen Sie dann bei der Grammatik vor, bei der Sie alle möglichen Wörter separat ableiten.

Demnach wird diese dann sehr aufwendig.

Viele Grüße

Friederike Pfeiffer-Bohnen und Lukas König

Beantwortet: Abbruch, sobald S dasteht?

Thu, 20 Nov 2014 13:49:04 +0000

Nein, Sie dürfen nicht einfach aufhören, wenn S im unteren Feld auftaucht.

Sie haben natürlich recht, dass ein realer Algorithmus, der nur das Wortproblem lösen soll, an dieser Stelle aufhören würde. Wir wollen aber überprüfen, ob Sie den Algorithmus bis zum Schluss korrekt ausführen können.

Viele Grüße

Lukas König und Friederike Pfeiffer-Bohnen

Beantwortet: Warum wird A im 2. Schritt komplett eliminiert?

Sun, 16 Nov 2014 17:09:10 +0000

Hallo,

bei der Aufgabe 74 kommt das A nur in der Umbennenung auf der rechten Seite vor. Das heißt, dass man auch direkt auf die Ableitungen von A führen könnte, ohne am Ergebnis was zu ändern.

Bei der Aufgabe 73 kommt das A aber auch in Nicht-Umbennenungs-Ableitungen vor, z. B. AB und ACa. Hier kann man das A nicht einfach durch ein S ersetzen, denn das würde die Grammatik völlig ändern. Deswegen braucht man auch weiterhin die A-Übergänge, man elminiert nur die reine Umbenennung.

Viele Grüße

Philippe (Tutor)

Beantwortet: Alternative Lösung Aufgabe a)

Sun, 16 Nov 2014 17:07:23 +0000

Ja, das kannst du machen.

Gruß

Lukas (Tutor)

Beantwortet: S im untersten Feld notwendig?

Sun, 16 Nov 2014 17:04:43 +0000

Damit man das vorgegebene Wort aus der Grammatik erzeugen kann, muss das Startsymbol im untersten Feld stehen (in der Regel heißt das bei uns S).

Viele Grüße,

Sven (Tutor)

Beantwortet: Frage zu Zeile m=4

Tue, 04 Nov 2014 09:08:22 +0000

Das H in der vierten Zeilen müsste eigentlich stimmen (wegen H -> CF).

Das S in der 6. Zeile ergibt sich dann wegen S -> AH.

Sven (Tutor)

Chomsky Normalform Alternative

Wed, 22 Oct 2014 17:36:23 +0000

Im zweiten Schritt werden alle reinen Umbennungen eliminiert. Deshalb erhalten wir S--> b|bc|AB|ACa.

Kann man dann nicht A --> b|bc ganz weglassen und dann für S folgendes schreiben: S--> b|bc|SB|SCa ?

Viele Grüße,

Alexander

Chomsky Normalform Alternative

Wed, 22 Oct 2014 17:35:04 +0000

Ist die Chomsky Normalform auch dann noch korrekt, wenn man die Produktion:D-->b komplett weglässt und D überall durch A ersetzt was ja auf b produziert werden kann?

Erklärung zum Lambda-frei machen?

Wed, 22 Oct 2014 15:10:01 +0000

kann mir jmd erklären wie hier das mit dem lamda-frei machen geht? hab das nicht so ganz verstanden was genau man da machen muss...

Danke schon mal

kann ich Schritt "(1) G lambda-frei machen" nicht IMMER ohne neuen Startzustand S' machen?

Wed, 22 Oct 2014 15:04:39 +0000

Hallo,

kann ich Schritt "(1) G lambda-frei machen" nicht IMMER ohne neuen Startzustand S' machen?

In einem Beispiel in den Folien (Kap. 3, Seite 32) gibt es in P nur eine Startzeile, diese hat lambda am Ende und S kommt auch rechts vor: ([ und ] sind Terminale)
P = { S --> SS | [S] | lambda }

Nach Schritt (1) hat man:
P = { S --> SS | [S] | S | [ ] }
Also lambda wurde entfernt, der Rest beibehalten und alles ergänzt, was eintreten kann, wenn S --> lambda. Im neuen P kann S also nie nach lambda gehen, was ja aber laut der Methodik mit Einführung von S' gehen muss.

Bei Aufgabe 59 (KON-AG) vom Aufgabenpool steht lambda NUR in EINER Zeile (... B --> ... | ... | lambda), also nicht in der Startzeile mit S und das B, was eben lambda werden kann, steht auch auf weiteren rechten Seiten. Hier wird für Schritt (1) lambda entfernt, alle Zeilen ansonsten beibehalten und alles in allen Zeilen ergänzt, was eintreten kann, wenn S --> lambda - also wie oben beschrieben.

Für mich sind die beiden Beispiele das gleiche Schema und ich erkenne nicht, wieso es notwendig ist, dass man überhaupt einen neuen Startzustand S' einführen soll.
Bei der Nachklausur 2013 (Aufgabe 3 a) hat man lambda nur in der Startzeile bei S und S auch nur auf einer rechten Seite (in der Startzeile). Hier wird S' --> S | lambda eingeführt und dann wohl nix mehr geändert (bis auf lambda danach weg) und S immer stehen gelassen. Wenn ich es hier machen würde wie oben beschrieben, müsste man für Schritt (1) ja neben S --> ASB auch noch S --> AB haben (hier wurden leider keine Zwischenschritte angegeben).

Ich hoffe, mir kann jemand weiterhelfen.

Und wenn man S' ergänzt.

Dieser Aufgabentyp in der Klausur zu erwarten?

Wed, 22 Oct 2014 15:02:23 +0000

Hi, ich hätte ein paar allgemeine Fragen bezüglich dieses Aufgabentyps in der Klausur. Hauptsächlich eigentlich wegen der Schwierigkeit dieser speziellen Aufgabe.

Zum einen Bezüglich des C-Y-K-Algorithmus, können wir da tasächlich ein so langes Wort mit so vielen Einträgen in der Tabelle bekommen? Ich zumindest sitze da relativ lange dran, und mache bei so einem großen Umfang dann auch einige Folgefehler, wie wird das dann bepunktet?

Zum anderen Wegen der Produktion des Testwortes. Da komme ich nämlich speziell hier auf keinen grünen Zweig. Ich weiß natürlich, wie das geht, aber selbst mit der Musterlösung fällt es mir schwer, ein so langes Testwort zu produzieren. Sind so lange Testwörter in der Klausur möglich?

Vielen Dank und schönen Abend!

warum ist bei Teil b), m=4 an der Stelle des ersten Cs nur C eingetragen?

Wed, 22 Oct 2014 15:00:54 +0000

Hallo,

warum ist bei Teil b), m=4 an der Stelle des ersten Cs nur C eingetragen?

Wäre nicht auch für (2|2) die Stelle S' möglich, da ja (-|S) = S und S' -> S| lambda.

Oder kann man das nicht machen, da "in Chomsky-Normalform [...] der S' -> S Übergang formal gesehen gar nicht dazu [gehört]"?

Danke

Verfahren zu Teil c)?

Wed, 22 Oct 2014 14:59:52 +0000

Gibt es zum Aufgabenteil c) ein Verfahren oder muss man sich das selbst überlegen (was extrem lange dauern kann wenn man immer das ganze Wort betrachten muss m zu entscheiden was man als nächstes einfügt?!)