Theoretische und technische Informatik - ganz praktisch - Letzte Fragen 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?

Ableitung für c

Thu, 06 Feb 2020 10:50:52 +0000

Hallo,

warum wird in dieser Aufgabe keine eigene Ableitung für c erzeugt?

Es wird C -> CB | c beibehalten, in den Aufgaben vorher wird aber bei solchen Fällen ein neues Nonterminalsymbol erstellt mit zB: D -> c.

Danke und liebe Grüße

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

Sun, 26 Jan 2020 15:14:34 +0000

Mein Frage bezieht sich auf Foliensatz 10 Kontextfreie Grammatik Teil 2, Folie GDI2 -107 (Pumping-Lemma für kontextfreie Sprachen):

Hat es einen bestimmten Grund, dass die Zerlegung hier uvzxy und nicht uvwxy heißt? z wird hier nicht definiert.

Wenn w und z vertauscht werden, dann sollte das auch konsequent geschehen. Zwei Folien später ist nochmal ein ähnlicher Fehler, hier steht "z ∈ L mit |w| >= k"

Alternative Lösung

Mon, 13 Jan 2020 15:35:25 +0000

Ist es möglich, dass wenn ich die Nonterminalsymbole anders zusammenfasse als in der Lösung (z.B. D -> FA anstatt D -> AF), der CYK Algorithmus nicht mehr funktioniert?

Mit meiner Lösung klappt das Testwort nämlich nicht, in der Musterlösung jedoch schon, dort ist aber schon die Normalform etwas anders als bei mir, da eben die Nonterminalsymbole anders zusammengefasst werden.

Vielen Dank!

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

Mon, 13 Jan 2020 14:27:26 +0000

Guten Tag,

im Kästchen m=3, erstes b steht in der Musterlösung "-". Allerdings gibt es die Regel "S -> AB" und A kommt in der entsprechenden Spalte und B in der entsprechenden Diagonale vor (A in (m=1, erstes b), B in (m=1, zweites a)). Ist der Eintrag richtig und wenn ja, wieso?

Mit freundlichen Grüßen

Algorithmus Grammatik zu Kellerautomat

Mon, 13 Jan 2020 14:06:03 +0000

Hallo,

mich würde interessieren ob der KA, der die gleiche Sprache wie die Grammatik verstehen soll, immer mit 3 Zuständen auskommt, oder ob es Typ-2-Grammatiken gibt, die auch mehr Zustände des zugehörigen KA verlangen?

Falls ja, was beeinflusst die Anzahl der Zustände?

(Frage bezieht sich auf Tut 3)

Danke im Voraus!

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

Aufgabe 54 Band I

Fri, 19 Jan 2018 11:51:16 +0000

Ganz allgemeine Frage zu solchen Aufgaben in der Klausur:

Muss man unbedingt alle Schritte sprachlich "nennen" und in Reihenfolge vorangehen oder kann man auf einmal alles schreiben und nicht Schritt für Schritt?

Ableiten von Wörtern bei Grammatiken in Chomsky-Normalform

Thu, 11 Jan 2018 21:47:26 +0000

Mir ist aufgefallen, dass in Altklausuren mit Aufgaben zur Chomsky-Normalform häufig in Auggabenteil a) das Umwandeln einer Garmmatik in CNF gefordert ist. Im Aufgabenteil b) soll dann ein Testwort abgeleitet werden, wobei dafür entweder die ursprüngliche Grammatik oder die Grammatik in CNF verwendet werden kann. Da es offensichtlich wenig Sinn macht ein potentiell falsches Zwischenergebnis zu verwenden hätte ich folgende Fragen:

1. Ist es im Allgemeinen einfacher ein Wort mit einer Grammatik in CNF abzuleiten?

2. Gibt es ein strukturiertes Vorgehen zum Ableiten von Wörtern?

Muss man in CNF/GNF umformen können?

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

Hallo,

muss man für die Klausur eine Grammatik in Chomsky/Greibach Normalform überführen können?

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?

Alternativlösung

Tue, 31 Jan 2017 23:24:50 +0000

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

P:

{S -> aSb|aAbC|C, lambda,

A -> aAb|ab ,

C-> CC| CCC|c

}

Danke

Schritt (4) Umbenennung doppelt

Tue, 24 Jan 2017 12:41:08 +0000

In der Aufgabe wird ABC zu AG ; G-->BC ; G wird dabei sowohl in der Ableitung bei S, als auch bei B genutzt. Wäre es in der Klausur erlaubt auch zwei Produktionen einzuführen die letzendlich zum gleichen Ergebnis führen, also nicht final vereinfacht? Im Buch steht (S.233), dass das Zusammenfassen gefährlich werden kann. Für welche Fälle kann das Zusammenfasssen zu Problemen führen?

(c) Produktion des Testwortes

Sat, 14 Jan 2017 10:22:21 +0000

Bei der Produktion eines Testwortes gibt es doch nicht die eine richtige Lösung oder? Es gibt vielleicht eine minimale Lösung, wenn ich mehr Übergänge benötige, am Ende aber trotzdem das Testwort produziert bekomme, ist dieser Weg auch richtig?

Mir geht es nur um das Verständnis, da ich mir nicht zu 100% sicher bin.

Vielen Dank.

Ausführlichkeit der Lösung

Sat, 14 Jan 2017 08:00:36 +0000

Muss in der Klausur bei der Umformung in die CNF ebenfalls jeder Schritt des Vorgehens genannt werden, oder wäre es ausreichend am Ende die richtige Grammatik aufzuschreiben?

Aufgabe 51: Alternative Lösung

Fri, 15 Jul 2016 13:18:32 +0000

Könnte man das ganze nicht noch vereinfachen mit P=

S --> Sc / A

A --> lambda / aAb

?

Alternative Lösung A51a)

Mon, 27 Jun 2016 12:23:19 +0000

Hallo,

ist P={S-> lambda | SA | aSb,

A-> c}

eine alternative Lösung?

VG

Verständnis

Sat, 06 Feb 2016 17:53:11 +0000

In Aufgabe A54 wird im 4. Schritt unsere Menge der N mit den in diesem Schritt hinzugekommenen Nonterminalsymbolen H & I vereinigt..

In der Aufgabe 55 wird im 4. Schritt, obwohl ein D als Nonterminalsymbol hinzugekommen ist unsere Grammatik G nicht angepasst..

Wieso nicht ?

Mfg

Verständnis

Sat, 06 Feb 2016 16:40:56 +0000

A49 b)

Ist ein Ableitungsbaum das gleiche wie ein Parsebaum ? Ich hatte nun das Testwort wie in Tut2 A6 a) dargestellt.

Mfg

andere Lösung

Fri, 05 Feb 2016 07:55:18 +0000

Ist auch diese Lösung richtig?

P = {S--> c| lambda| aAbB,

A--> aAb| ab| lambda,

B --> cB| c| lambda}

Alternativlösung zu Kontextfreier Grammatik

Fri, 05 Feb 2016 07:51:25 +0000

Wäre auch

P = { S --> a| aAaB,

A --> aA| aa| a,

B --> bBb|bb}

richtig ?

51 a) Alternative Grammatik

Mon, 01 Feb 2016 16:57:55 +0000

Hallo,

wäre folgende Lösung auch richtig:

S-> aAbcC/ lamda/ ab/c

A-> aAb/ lamda

C-> cC/ lamda

Danke!

Verständnis der Lösung 50 a)

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

Hallo,

die angegebene Lösung lässt doch nur Wörter der Form aa a bb, aaaa a bbbb etc. zu, was wäre bei der Anordnung, die für k=2 gelte, also a=5, b=4 :

abaabaabb hier ist doch a 5 und b4, also gültig oder sagt die Regel aus, dass auf a(ungerade) genau b folgt mit gerade ; heißt ,schließt die Sprache eine solche Kombination aus? Dann wäre es ja klar.

Danke

Alternative Lösung 49)a

Mon, 01 Feb 2016 15:54:41 +0000

Wäre auch folgende Grammatik gültig?

S-> aBa /bBb

B-> bbC / aaD

C-> bbE/ aaE

D-> aaF/bbF

E-> bb

F-> aa

Danke!

Frage zur Reihenfolge von Nonterminalzeichen

Sat, 16 Jan 2016 23:29:18 +0000

Ich habe P versucht so zu lösen:

P={ S-> aAbB,

A-> aAb I ab ,

B-> cB I c}

Kann ich S so ableiten? Wenn nein wieso?

2. Schritt der Chomsky-NF

Sat, 09 Jan 2016 12:33:05 +0000

Hallo,

ich habe eine Verständnisfrage bzgl der CNF:

ich verstehe den 2.Schritt (Eliminierung reiner Umbennungen) nicht.

z.B. wird bei der Aufgabe 54 (KON-AB) das A im 2. Schritt NICHT weggelassen. Bei den restlichen Aufgaben zu dem Thema werden die Umbennungen weggelassen (siehe Aufgabe 55/56.

Gibt es eine Erklärung, wann die Umbennung wegfällt? Eigentlich müsste die Umbennung ja immer wegfallen, da im 2 Schirtt eigentlich eine Eliminierung vorliegen sollte.

Vielen Dank im Voraus!

MFG

zugehörige menge

Sun, 03 Jan 2016 22:34:06 +0000

in L2 steht das k gehört zur N = {0, 1,2,3, ...}

in der Musterlösung scheint es mir das den Fall k = 0 ignoriert wurde.

danke

Cocke-Younger-Kasami-Algorithmus: Vorgehensweise

Tue, 29 Dec 2015 15:22:00 +0000

Man soll überprüfen, ob das Wort $w = bbaaab$ durch die angegebene Grammatik erzeugt werden kann. Wie die Tabelle erstellt wird, weiß ich.

Für Zeile $m = 1$ suche ich alle Ableitungen, die in einem Schritt von Nonterminal- auf Terminalsymbol ableiten. Ich trage die jeweiligen Nonterminalsymbole in ihre Zellen ein.

Für die Zeilen ab $m = 2$ muss ich jetzt alle Ableitungen suchen, die auf mehrsymbolige Teilwörter ableiten. Mir ist jetzt nicht mehr klar, was ich hier überprüfen muss. Wieso steht z.B. in der Zelle von Zeile $m = 2$ und dem ersten b nichts, aber dafür in der Zelle rechts daneben? Wie muss ich hier vorgehen?

Für eine Erklärung wäre ich sehr dankbar!

Alternative Lösung mit nur einem Nonterminalsymbol

Fri, 16 Jan 2015 10:40:31 +0000

Ist die Lösung mit p = {S -> a | aaSbb} auch richtig?

(Arbeite mit alten Lösungen)

ist Musterlösung eine kontextsensitive Grammatik?

Wed, 26 Nov 2014 14:10:42 +0000

ich dachte, dass eine Kontextfreie Grammatik nur ein Nonterminal Symbol auf der linken seite haben darf.

Meine Lösung ist so

G=(N,T,P,S) N=(S,A) T=(0,1)

S->Lambda|0S|1A

A->1A|1

Für mich sieht die Grammatik in der Musterlösung wie eine kontextsensitive Grammatik aus. Ich denke ich habe da was falsch verstanden bzw. was nicht richtig aus den Folien gelesen. Kann mir da jemand den Unterschied verraten?

Testwort 10101 zulässig ?

Wed, 26 Nov 2014 14:00:47 +0000

Kann aus der Musterlösung auch das Testwort 10101 erzeugen?

Ich denke nicht! Allerdings müsste ein Wort mit eine 1..... auch gehen solange die Anzahl an 1en größer als die der 0en ist.

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

Wed, 26 Nov 2014 13:41:15 +0000

Hier finden Sie eine Auflistung von alternativen Lösungsvorschlägen inkl. Beurteilung aus dem alten ILIAS-Forum (vor WS1415).

Dieser Post wurde der Übersichtlichkeit halber erstellt, um die alternativen Lösungsvorschläge aus dem alten ILIAS-Forum nicht überzubetonen. Wenn Sie neue alternative Lösungsvorschläge diskutieren wollen, sollten Sie eine neue Frage erstellen - und NICHT hier posten!

Allgemeine Vorgehensweise für diesen Aufgabentyp

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

Hallo,

könnte mir jemand bitte helfen, und sagen, wie ich bei solchen Aufgaben vorgehe, mommentan ist es bei mir ein reines Rate spiel. ICh finde keinen richtigen Ansatz.

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

Wed, 26 Nov 2014 11:09:46 +0000

Hallo,

Ist "B nach cB / ramda" immer geleich wie "B nach Bc/ ramda" ?

Danke!

Grüße

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

Wed, 26 Nov 2014 11:05:56 +0000

Hier finden Sie eine Auflistung von alternativen Lösungsvorschlägen inkl. Beurteilung aus dem alten ILIAS-Forum (vor WS1415).

Regel D -> lambda zulässig?

Sun, 23 Nov 2014 13:16:20 +0000

Hallo,

Könnte man anstatt C -> aa | bb

auch:

C -> aDa | bDb

D -> lambda

schreiben oder wäre eine Regel D -> lambda nicht zulässig?

Zwei Pfeile jeweils auf ein a auch möglich?

Sun, 23 Nov 2014 13:14:50 +0000

Hallo,

ist es bei der b) wichtig, dass ich nur einen Pfeil auf aa zeichne, oder wären zwei Pfeile jeweils auf ein a auch möglich?

EDIT: Das ist inzwischen dahingehend verbessert worden (siehe auch Antworten auf diesen Beitrag).

Wie könnte rechtslineare Grammatik hier aussehen?

Sun, 23 Nov 2014 13:12:20 +0000

Wie könnte denn eine rechtslineare grammatik für diese aufgabe aussehen?

Abbruch, sobald S dasteht?

Thu, 20 Nov 2014 13:48:47 +0000

Kann ich beim algorithmus eigentlich aufhören sobald ein S im untersten Feld steht oder muss ich noch die restlichen Kombinationen prüfen um die tabelle vollständig wuszufüllen? Nicht dass es in der Klausur dann abzug gibt weil in der tabelle ein einzelner buchstabe fehlt.

Warum wird A im 2. Schritt komplett eliminiert?

Sun, 16 Nov 2014 17:08:50 +0000

Hallo,

warum wird hier bei der a) im 2. Schritt das A komplett eliminiert und bei Aufgabe 73 behält man es bei. Ich kann gerade keinen sichtbaren Grund dafür erkennen.

Danke und Gruß

Alternative Lösung Aufgabe a)

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

Hallo，

Kann ich bei Aufgabe a) die Ergebnisse im CNF -Form:

"S nach BD" durch "S nach DC" ersetzen?

Und "D nach SC" durch "D nach BS" ersetzen?

Danke!

Grüße

S im untersten Feld notwendig?

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

Muss im untersten Feld ein S stehen oder genügen auch andere NT-Symbole?

Frage zu Zeile m=4

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

Hallo,

eine Frage: müsste hier bei m=4 nicht I anstatt H stehen?

Und wie kommt man den auf das S in Zeile 6?

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?!)