Theoretische und technische Informatik - ganz praktisch
Herzlich willkommen auf der Question/Answer-Plattform zu Grundlagen der Informatik II. Wir wünschen Ihnen viel Spaß beim Lernen und Diskutieren!
Loggen Sie sich mit Ihrem KIT-Account (u...) ein, um loszulegen!
Beachten Sie auch diese Informationen zum Schnelleinstieg.
(Nicht-KIT-Studierende beachten bitte diese Informationen.)

Beliebteste Tags

verständnis alternativlösung klausur kellerautomat endlicher-automat grammatik regulärer-ausdruck pumpinglemma turingmaschine tipp zahlendarstellung cmos klausurrelevant bonusklausur komplexität schaltwerk binary-decision-diagram deterministisch assembler schaltnetz sprachen minimierung nichtdeterministisch huffman fehler-in-aufgabe chomsky-normalform anwesenheitsübung rechtslinear heimübung flip-flop cocke-younger-kasami-algorithmus kontextsensitive-grammatik kontextfreie-grammatik huffman-kodierung hauptklausur fehlererkennbarkeit vorlesungsfolien kontextfreie-sprache polynomialzeitreduktion faq gleitkommazahl fehlerkorrigierbarkeit rechtslineare-grammatik dateiorganisation cache darstellung-klausur nachklausur xwizard adressierungsarten lambda mealy konjunktive-normalform pipelining zustände saalübung leeres-wort endliche-automaten ohne-lösungen betriebssystem speicherorganisation moore monotone-grammatik 2-komplement fehler reguläre-sprache hammingzahl monoton lösungsweg pumping-lemma-für-kontextfreie-sprachen kodierung berechenbarkeit klausureinsicht disjunktive-normalform pumping-lemma info-ii bussysteme rechnerarchitektur abzählbarkeit komplexitätsklassen ableitungsbaum vorlesungsaufzeichnung round-robin minimierung-endlicher-automaten chomsky-klassen binärzahl entscheidbar programmiersprachen entscheidbarkeit aufzählbarkeit stern-symbol automaten nukit-fragen bewertung zugriffsarten von-neumann-rechner umformung adressierung mengen binär-subtrahieren organsiation

Kategorien

1 Pluspunkt 0 Minuspunkte
112 Aufrufe
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ß
in MON-AB von  

2 Antworten

1 Pluspunkt 1 Minuspunkt
Hey,

nein das ist nicht möglich. Bei einer kontextsensitiven Grammatik sind nur Regeln erlaubt, bei denen ein Nonterminalsymbol ersetzt wird und der Rest (der Kontext) dabei gleich bleibt.
Bei der ersten Regel wird A durch a ersetzt, während B unverändert bleibt.
Bei der zweiten Regel wird B durch b ersetzt, während a unverändert bleibt.
Bei der dritten Regel werden nun aber zwei Nonterminalsymbole gleichzeitig verändert (A zu a und B zu b) was nicht zulässig ist.

Viele Grüße
Ashvin

PS: Erst wenn du dich mit deinem u-Kürzel hier anmdelest, werden die meisten Funktionen erst sichtbar für dich.
von uxdiu uxdiu Tutor(in) (102k Punkte)  
1 Pluspunkt 1 Minuspunkt
Hey Uxdiu,
auf S. 159 des Info-Buchs (Teil 1) steht allerdings folgendes:
"
Beispiel-Grammatik:
G = ({S, A, B}, {a, b}, P, S ),
P = {S → ABS,
abAB → abaB | abba,
AB → ab,
B → bb}
"
Somit scheint bei kontextsensitiven Grammatiken AB-> ab doch erlaubt zu sein. Warum ist das so?
 
Danke bereits im Voraus ;)
von uwdxb uwdxb Lernwillige(r) (300 Punkte)  
1 0
Das hätten Sie vielleicht besser als eigenständige Frage gestellt.

Der Punkt ist, dass an der von Ihnen beschriebenen Stelle nicht explizit von kontextsensitiven Grammatiken die Rede ist, sondern von Typ-1-Sprachen bzw. kontextsensitiven SPRACHEN. Das sind die Sprachen, die von kontextsensitiven Grammatiken erzeugt werden können. Man kann aber zeigen, dass auch die monotonen Grammatiken genau diese Sprachen erzeugen (siehe Punkt zwei in der Aufzählung auf Seite 159; ich habe zu dem Thema auch eine umfassendere Erklärung geschrieben: http://info2.aifb.kit.edu/qa/index.php?qa=3333&qa_1=unterschied-jeweiligen-beziehungen-zwischen-grammatiken). Die angegebene Beispiel-Grammatik ist eine monotone Grammatik und keine kontextsensitive. Allerdings könnte man eine äquivalente kontextsensitive Grammatik angeben - eine gute Übung für Sie!
...