Gibt es Regeln oder Methoden, um eine kontextfreie Grammatik in Push-Down-Automaten umzuwandeln? Ich habe bereits einige Folien online gefunden , konnte sie aber nicht verstehen. In Folie 10 spricht er über einige Regeln. Kann jemand das
In dem Artikel Parsing Expressions by Recursive Descent von Theodore Norvell (1999) beginnt der Autor mit der folgenden Grammatik für arithmetische Ausdrücke: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" E | E "^" E | "(" E ")" | v Das ist ziemlich schlecht, weil es mehrdeutig und...
Die folgende kontextfreie Grammatik zeigt eine Mehrdeutigkeit vom Typ "Dangling else" (stellen Sie sich vor, steht für und b steht für und c steht für eine andere Art von Anweisung oder Block): S.einaaif expr thenbbbelseccc Zum Beispiel kannaacbcals(a(acbc))oder als(a(ac)bc)analysiert werden(dies...
Ich habe kürzlich mit einem Freund über eine Website gesprochen, auf der Regex-Herausforderungen vorgeschlagen wurden, wobei hauptsächlich eine Gruppe von Wörtern mit einer speziellen Eigenschaft abgeglichen wurde. Er suchte nach einem regulären Ausdruck, der zu Zeichenfolgen passt, bei...
Ich suche eine kontextsensitive Grammatik, die die folgende Sprache beschreibt: .L={ww∣w∈{a,b}∗,|w|≥1}L={ww∣w∈{a,b}∗,|w|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} Ich habe Probleme mit der Tatsache, dass keine Regeln wie erlaubt sind und ich daher kein Nichtterminal platzieren kann, das die...
Ich habe mich kürzlich gefragt, was passieren würde, wenn wir kontextfreien Grammatiken eine unendliche Anzahl von Regeln erlauben würden. Wenn wir willkürlich solche unendlichen Regelsätze zulassen würden, könnte jede Sprache L.LL über einem Alphabet ΣΣ\Sigma durch ein CFG G = ( { S.} , Σ , R ,...
Ich habe neulich die Arbeit Fundamental Concepts in Programming Languages von C. Strachey gelesen, in der ich etwas gelesen habe, das mir ziemlich fremd war. Direkt zitieren (mit dem von mir hervorgehobenen seltsamen Teil): Angesichts der heutigen Situation, in der es eine allgemein bekannte...
Frage: Gibt es Einführungstexte in der formalen Sprache oder in der Programmiersprachentheorie, in denen erläutert wird, wie sie auf das Studium der optimalen Notation angewendet werden können? Insbesondere interessiert mich, was Stapelsprachen, Analysebäume und Indizes sind und wie man vorhersagt,...
wenn ich eine Grammatik mit einer Produktion habe, die sowohl Linksrekursion als auch Linksfaktor enthält F→FBa∣cDS∣cF→FBa∣cDS∣c\qquad \displaystyle F \to FBa \mid cDS \mid c Welches hat Priorität, linke Rekursion oder linkes
die Länge vonist ungerade1 ist in der Mitte vonL:={w∈{0,1}∗|L:={w∈{0,1}∗|L := \{w \in \{0,1\}^* | ∧ w }www∧∧ \wedge w}w}w\} Das Alphabet ist also . Mein Problem ist, dass ich die Gleichheit der Zeichen vor und nach 1 nicht verfolgen kann . Ein begrenzter DFA für eine Länge von weniger als...
Diese Grammatik bleibt rekursiv: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term |...
Ich muss eine Grammatik für Pascal schreiben, und es gibt nur eine Sache, die Probleme verursacht. Nehmen wir an, wir haben Operatoren (sortiert nach Priorität von niedrig nach hoch): Postfix^ . Präfix^ . [ ], und ., (gleiche Priorität und linker Assoziativ). Das einzige Terminal idist ein...
Jemand fragte nach Beispielen für kontextfreie Sprachen mit nicht kontextfreien Ergänzungen . Die erste Antwort lautet: Die Sprache L.1= { w w ∣ w ∈ { a , b}}∗}}L.1={ww∣w∈{ein,b}}∗}}L_1= \{ww \mid w \in \{a,b\}^*\}ist nicht kontextfrei (wie mit dem Pump-Lemma gezeigt werden kann; siehe hier )....
In einem Informatikkurs ist es üblich, die Hierarchie formaler Sprachen, Grammatiken, Automaten und Turing-Maschinen zu studieren. Ich frage mich, in welcher Beziehung diese Objekte zu formalen Systemen stehen. Zum Beispiel soll Lambda-Kalkül ein formales System sein. Würde seine Grammatik auch als...
Problem (tl; dr) Wenn eine kontextfreie Grammatik , finden Sie eine Reihe von Zeichenfolgen, die mindestens einmal durch jede Produktion führen.GGGGGG Wie und wie schnell geht das? Hintergrund Ich arbeite an einem Compiler, dessen Parser mit einem ähnlichen Tool wie Yacc + Antlr implementiert ist....
Ich mache eine Abschlussarbeit über den Nachweis der Richtigkeit des Programms zum Multiplizieren von 2 Matrizen mit Hoare-Logik. Dazu muss ich die Invariante für die verschachtelte Schleife für dieses Programm generieren: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end end...
Ich weiß nicht viel über Yacc, Bison, Flex oder Lex und bitte korrigiere mich, wenn ich falsch liege, aber eine Programmiersprache ist auch eine Turing-Maschine und eine Turing-Maschine ist als Tupel definiert (Q,Γ,b,Σ,δ,q0,F)(Q,Γ,b,Σ,δ,q0,F)(Q, \Gamma, b, \Sigma, \delta, q_0, F) wo QQQ, ΓΓ\Gamma,...
Ich lese "Eine Einführung in formale Sprachen und Automaten" von Peter Linz und nach dem Lesen der ersten fünf Kapitel habe ich das folgende Problem mit einfachen und regelmäßigen (insbesondere rechtslinearen) Grammatiken, die einander sehr ähnlich sind. Welche Beziehung besteht zwischen diesen?...
Weiß jemand, ob es einen Algorithmus zum direkten Schreiben der kontextfreien Grammatik gibt, die einen bestimmten regulären Ausdruck
Ich ging eine Frage durch, in der ich gebeten wurde, die inhärent mehrdeutige Sprache unter einer Reihe von Optionen auszuwählen. L.1= {einnbmcmdn|m , n ≥ 1 } ∪ {einnbncmdm|m,n≥1}L.1={einnbmcmdn|m,n≥1}}∪{einnbncmdm|m,n≥1}}L_1 = \{a^nb^mc^md^n \;|\; m,n \geq 1\}\cup \{a^nb^nc^md^m \;|\; m,n \geq 1\}...