Theoretische und technische Informatik - ganz praktisch - Letzte Fragen in Kontextsensitive, monotone und allgemeine Grammatiken

Umwandlung in CNF, Nonterminale

Thu, 18 Mar 2021 20:14:45 +0000

Hallo,

ich wollte mich nochmal vergewissern, dass ich da nichts falsch mache: wenn ich CNF herstellen will und dabei zB eine Regel der Form S -> VXYZ habe, kann ich das doch so schreiben:

S -> VA und A -> XC und C -> YZ

Ich frage deshalb, weil ich in mehreren Lösungen jetzt auch schon gesehen habe, dass "von der anderen Seite" ersetzt wurde, also zB S -> AZ , A -> BY usw....

Ist also beides korrekt?

kontextsensitive Grammatik

Sun, 09 Feb 2020 20:21:57 +0000

Hallo,

könnte man in Aufgabe 86 aus dem Übungsbuch auch einfach anstatt der letzten 3 Regeln B ->b und C->c formulieren wie in der Aufgabe davor?

MfG

Kontextsensitive und Monotone Grammatik

Sun, 09 Feb 2020 13:24:38 +0000

Bei Vorlesung 11 Folie 30 wird die nicht kontextsensitive, aber monotone Grammatik umgeformt zu einer kontextsensitiven. Wäre die umformung auch so möglich:

FB -> D1B

D1B -> D1F

D1F -> BF

B -> b

Herangehensweise kontextsensitive Grammatik

Fri, 31 Jan 2020 22:54:38 +0000

Hallo,

in der Aufgabe 3a der Hauptklausur 2018 wird die Aufstellung einer kontextsensitiven Grammatik verlangt. In der Lösung ist eine Typ-1-Grammatik gegeben.

Könnte mir bitte jemand erläutern, wie man auf die gegebene Lösung (die "etwas schlauere Lösung") gelangt? Ich verstehe irgendwie das allgemeine Vorgehen nicht. Hinzukommt, dass meines Erachtest im Tutorium nie solch ein ähnlicher Aufgabentyp vorkam, weshalb ich etwas aufgeschmissen bin.

Vielen Dank!

Klausurrelevanz kontextstensitive Grammatik

Fri, 10 Jan 2020 11:45:21 +0000

Da nur der Stoff von den Tutorien 1-4 relevant ist,möchte ich gerne wissen, ob das Thema kontextsensitive Grammatik welches weder in Tut 4 noch in Tut 5 behandelt wird, aber im Vorlesungsplan dazwischenliegt klausurrelevant ist,sowie das Pumping Lemma für kontextfreie Sprachen eine Übung darstellen kann, da es ebenfalls nicht im Tutorium behandelt wird aber theoretisch im Stoff um das 4te Tutorium herumliegt.

Alternative Lösung

Thu, 31 Jan 2019 21:33:04 +0000

Wäre diese Grammatik auch richtig?

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

P = {S -> ABC

ABC -> ABCABC

BCAB -> ABBC

A -> a

B -> b

C -> c}

Fehler in Kapitel 4 Folie 7 -Vorlesung

Fri, 04 Jan 2019 15:58:50 +0000

Müsste es hier nicht heißen n<=m, ansonsten macht meiner Meinung nach auch die Bemerkung unten keinen Sinn.

Vielen Dank für Ihre Hilfe

Ableitung eines Wortes

Thu, 01 Feb 2018 19:22:11 +0000

Meine Frage ist bezüglich Teil a:

wie muss man ganz allgemein bei solchen Aufgaben vorgehen? einfach so verschiedeene Grammatik prüfen, dass wir "zufällig" das Wort ableiten können (Aufwändig), oder es gibt eine bestimmte Vorgehensweise bzw. Trick?

Vielen Dank

Übungsbuch Theoretische Informatik

Tue, 23 Jan 2018 22:12:40 +0000

Folgender Satz auf Seite 70 im Übungsbuch ergibt keinen Sinn: 'Man kann darüber hinaus zeigen, dass monotone Grammatiken genau dieselben Sprachen erzeugen können wie kontextsensitive, indem man einen Algorithmus angibt, der aus einer beliebigen kontextsensitiven Grammatik eine äquivalente monotone Grammatik generiert [HMU11].' Sollte eher umgekehrt sein.

..., der aus einer beliebigen monotonen Grammatik ...

Saalübung 1/A3

Sat, 13 Jan 2018 16:51:53 +0000

Im Skript (VL4) steht ganz am Anfang,dass kontextsensitive Sprachen keine Umformungen der Art (AB -> BA) enthalten dürfen. In der Aufgabe 3a der Saalübung soll man eine kontextsensitive Grammatik entwerfen und in der Lösung tauchen eben solch Umformungen auf, Wie ist das möglich?

Greibach Normal Form

Tue, 07 Feb 2017 18:34:07 +0000

Hallo,

muss man die Schritte für die Erzeugung der GNF aus einer beliebigen kontextfreien Grammatik wissen ? oder nur die Schritte für die CNF

danke

Teilaufgabe d

Fri, 03 Feb 2017 08:21:23 +0000

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?
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.

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?

Herangehensweise

Wed, 01 Feb 2017 14:57:41 +0000

Gibt es irgendeinen Tipp, Ablauf, Algorithums ect. wie man vorzugehen hat, wenn man eine kontextsensitive Grammatik angeben muss?

alternative Lösung

Wed, 01 Feb 2017 00:00:39 +0000

ist diese Lösung richtig ?

G = (N,T,P,S)

N = { A, B ,S, X, C }

T = {a,b, c }

P :{ S -> XSC | abc | lambda,

X -> AB ,

BA -> AB,

AA -> aa,

BB -> bb ,

aA -> aa,

bB -> bB,

C -> c

}

Danke im voraus

nicht monotone Grammatik Vorschlag

Tue, 31 Jan 2017 18:07:35 +0000

Hallo,

wäre dann diese nicht monotone Grammatik G' richtig ? :

G=(N,T,P,S) mit

P= {S --> XBY,

X -->XD|lambda,

DB --> BBD,

DY --> Y|Lambda,

B --> b}

monotone Grammatik

Tue, 31 Jan 2017 15:18:08 +0000

Hallo,

Ein Lambda Übergang D --> lambda ist bei monotonen Grammatiken erlaubt, wenn D auf keiner rechten Seite vorkommt.

Heisst das ´dass, eine Grammatik der Form

P= { D --> ADb|lamba|DD,

A-->a

monoton ist ?

Was sähe die nicht monotone Grammatik aus?

Mon, 16 Jan 2017 07:35:15 +0000

Hallo,

Leider komme ich nicht auf die zugehörige nicht-monotone Grammatik, die man selbst herausfinden soll... Wie kann ich da vorgehen?

Vielen Dank schon einmal im Vorraus!

Alternativlösung zu a)

Sat, 13 Feb 2016 15:33:13 +0000

Stimmt diese Lösung auch? Das Testwort ist ableitbar

S--> aA / bD / cE

A--> bC / cB

B --> b / bS

C--> c / cS

D--> aC/ cF

F --> a / aS

E --> aB / bF

kontextsensitve Grammatik, Regeln zusammenfassen

Fri, 08 Jan 2016 11:36:09 +0000

Hallo zusammen,

ich wollte wissen ob es erlaubt ist bei kontextsensitiven Grammatiken Regeln zusammenzufassen, also wenn ich (AB -> aB) und (aB -> ab) hab, ich dann (AB -> ab) schreiben darf,

Gruß

Alternativer Lösungsvorschlag

Fri, 08 Jan 2016 09:49:37 +0000

Wäre folgende Grammatik ebenfalls korrekt?

S→ abc | aAB
A→ aAB
AB→ cbA
cb→ bc
cA→ c

Monotone Grammatik aufstellen

Wed, 30 Dec 2015 20:33:53 +0000

In der Aufgabe soll man eine monotone Grammatik für die Sprache L = { a^n b^n c^n | n element N } aufstellen.

Ist Produktion P korrekt?

P = { S -> ABC,

        A -> Aa | a,

        B -> Bb | b,

        C -> Cc | c }

Warum gibt es einen Unterschied in den jeweiligen Beziehungen zwischen Grammatiken und Sprachen?

Sat, 26 Dec 2015 14:03:55 +0000

Wieso gilt die Beziehung: Typ-3-Grammatik ist eine Typ-2-Grammatik und Typ-1-Grammatik ist eine Typ-0-Grammatik auf diese Weise,

bei Sprachen jedoch durchgängig: Typ-3-Sprache ist Typ-2-Sprache ist Typ-1-Sprache ist Typ-0-Sprache?

Ich weiß: Eine Grammatik definiert eine Sprache durch L(G). Die Sprache L enthält Wörter, die durch die Grammatik erzeugt werden.

Frage klausurrelevant?

Fri, 31 Oct 2014 07:12:50 +0000

Hallo,

Ist diese Aufgabe auch Klausur relevant.Die ist sehr schwer.

Danke!

Frage zur Sprache in der Lösung

Fri, 31 Oct 2014 07:06:52 +0000

Hey, warum ist die Sprache alle L(G)={b^2n|n aus IN} wenn man aus dem Startsymbol S auch einfach nur ein b produzieren kann?

Danke schonmal :)

EDIT: Beitrag teilweise nicht mehr aktuell.

Was ist hier "phi1"/"phi2"?

Fri, 31 Oct 2014 06:53:51 +0000

Ich verstehe eins nicht:
bei der Überführung AB --> BA

was ist hier "phi1" und "phi2" und aus welchem Nonterminalsymbol wird hier etwas abgeleitet?

Alternativer Lösungsvorschlag zu b)

Fri, 31 Oct 2014 06:45:42 +0000

Hallo,

Ich habe eine Frage zur Produktion in b):
Geht auch:
S > ABCS > BACS >BCAS > BCAABC > * bcaabc
?

Gruß

Lars

Alternativer Lösungsvorschlag zu a)

Fri, 31 Oct 2014 06:43:25 +0000

Wäre auch etwas wie:

{

D->S|lambda

}

korrekt?

Hauptsächlich frage ich, weil ich nicht sicher bin, ob ich 3TS und 1NTS aneinanderhängen darf.

Danke

Frage zu Eigenschaften der angegebenen Grammatik

Fri, 31 Oct 2014 06:41:33 +0000

Hier hab ich auch nochmal ne Frage.

Die in der Lösung angegebene Grammatik ist monoton, aber nicht kontextsensitiv oder? Weil die Nichtterminalsymbole auf der rechten Seite nie "Kontext" auf beiden Seiten haben?? :)

Mit der rechten Seite meine ich die rechten Seiten der Produktionsregeln der Regelmenge

Alternativer Lösungsvorschlag

Thu, 16 Oct 2014 20:45:01 +0000

Wäre hier auch folgende Grammatik möglich:

G=(N,T,P,S)

N={S,A,B,C}

T={a,b,c}

P={S->ABC,

A->aA / a,

B->bB / b,

C->cC / c}

Allgemeines Vorgehen bei monotonen Grammatiken

Thu, 16 Oct 2014 20:42:26 +0000

servus,

kann vllt jemand mal erklären, wie man bei monotonen/kontextsensitiven Grammtiken wie hier z.B vorgeht? gibt es da Schemata oder einfach durch überlegen?

danke

Verständnisfrage zur Ableitung von Wörtern durch Grammatiken

Thu, 16 Oct 2014 20:40:10 +0000

Hallo,

ich habe noch eine Frage.

Der letzt Post (von Lukas) sagt aus, dass erzeugte Wörter stets Teil der Sprache sein müssen.

Bis es jedoch so weit kommt, sind Übergänge in Sackgassen ja möglich, ein Beispiel:

S->aSBC->aabCBC->aabcBC

Aus diesem Zustand (Mischung aus Terminal- und Nonterminalsymbolen) komme ich nicht mehr weiter. Das ist also OK?

Gruß

Sebastian

Alternativer Lösungsvorschlag

Thu, 16 Oct 2014 20:38:20 +0000

Hallo,

müsste es nicht auch funktionieren, wenn man die Lösung aus Aufgabe MON-AC so abwandelt, dass man die Bedingungen AB->BA, AC->CA und BC->CB weg lässt? Dadurch werden immer die gleiche Anzahl von a's, b's und c's erzeugt und dann geordnet.

Grüße

Alternative Lösung und Verständnisproblem

Thu, 16 Oct 2014 20:36:11 +0000

Würde hier nicht auch die gleiche Lösung wie in Aufgabe MON-AC funktionieren?

Ich meine, ob ez die Bedingung ist, dass die Anzahl von a,b und c gleich ist oder $a^nb^nc^n$ ist doch das Gleiche.

Der einzige Unterschied ist, dass bei dieser Aufgabe, das leere Wort enthalten ist, also müsste das lambda noch bei S als Fall stehen.

Aber sonst sehe ich da keinen Unterschied, oder?