Fragen zu formalen Grammatiken, generative Beschreibungen formaler Sprachen.
Die Leute sagen oft, dass LR (k) -Parser leistungsfähiger sind als LL (k) -Parser. Diese Aussagen sind die meiste Zeit vage; Sollten wir insbesondere die Klassen für ein festes oder die Vereinigung über alles ? Wie ist die Situation wirklich? Insbesondere interessiert mich, wie sich LL (*)...
Nennen wir eine kontextfreie Sprache genau dann deterministisch, wenn sie von einem deterministischen Push-Down-Automaten akzeptiert werden kann, und andernfalls nicht deterministisch. Nennen wir eine kontextfreie Sprache von Natur aus nur dann mehrdeutig, wenn alle kontextfreien Grammatiken, die...
Zu sehen, dass in der Chomsky-Hierarchie Sprachen des Typs 3 von einer Zustandsmaschine ohne externen Speicher (dh einem endlichen Automaten), Typ 2 von einer Zustandsmaschine mit einem einzelnen Stapel (dh einem Pushdown-Automaten) und Typ 0 von erkannt werden können Wie passen Sprachen des Typs 1...
Es gibt viele Definitionen online darüber, was eine kontextfreie Grammatik ist, aber nichts, was ich finde, befriedigt meine Hauptprobleme: Von welchem Kontext ist es frei? Um das zu untersuchen, googelte ich "kontextsensitive Grammatik", konnte aber immer noch nicht herausfinden, worum es beim...
Ich habe eine Weile Compiler studiert und gesucht, was unter "Kontext" in der Grammatik zu verstehen ist und was es bedeutet, dass die Grammatik "kontextfrei" ist, aber ohne Ergebnis. Kann mir jemand dabei
Ich habe eine Reihe von Paaren. Jedes Paar hat die Form (x, y), sodass x, y zu ganzen Zahlen aus dem Bereich gehören [0,n). Wenn also n 4 ist, dann habe ich die folgenden Paare: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Ich habe schon die Paare. Jetzt muss ich eine Kombination mit n/2Paaren erstellen,...
Es gibt viele Techniken , um zu beweisen , dass eine Sprache ist nicht kontextfrei, aber wie ich beweisen , dass eine Sprache ist kontextfrei? Welche Techniken gibt es, um dies zu beweisen? Offensichtlich besteht eine Möglichkeit darin, eine kontextfreie Grammatik für die Sprache zu präsentieren....
Mein Problem ist, wie kann ich beweisen, dass eine Grammatik eindeutig ist? Ich habe die folgende Grammatik: S→ s t a t e m e n t | , wenn e x p r e s s i o n dann S∣if expression then S else SS→statement∣if expression then S∣if expression then S else SS → statement ∣ \mbox{if } expression...
EPAL, die Sprache der geraden Palindrome, wird als die Sprache definiert, die durch die folgende eindeutige kontextfreie Grammatik erzeugt wird: S→aaS→aaS \rightarrow a a S→bbS→bbS \rightarrow b b S→aSaS→aSaS \rightarrow a S a S→bSbS→bSbS \rightarrow b S b EPAL ist der Fluch vieler...
Diese Frage wurde von Theoretical Computer Science Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 7 Jahren migriert . Ich suche nach mathematischen Theorien, die sich mit der Beschreibung formaler Sprachen (Mengen von Zeichenfolgen) im Allgemeinen...
Das Spezifizieren von formalen Sprachen durch die Angabe formaler Grammatiken ist eine häufige Aufgabe: Wir brauchen Grammatiken, um Sprachen nicht nur zu beschreiben, sondern auch zu analysieren oder sogar Wissenschaft zu betreiben . In allen Fällen ist es wichtig, dass die vorliegende Grammatik...
Diese Frage wurde von Theoretical Computer Science Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 6 Jahren migriert . Warum sollte im Compiler-Design die Linksrekursion in Grammatiken beseitigt werden? Ich lese, dass es daran liegt, dass es eine...
Laut diesem Wikipedia-Artikel entsprechen uneingeschränkte Grammatiken Turing-Maschinen. Der Artikel stellt fest, dass ich jede Turing-Maschine in eine uneingeschränkte Grammatik umwandeln kann, es wird jedoch nur gezeigt, wie man eine Grammatik in eine Turing-Maschine umwandelt. Wie mache ich das...
Betrachten wir zwei kontextfreie Grammatiken und und stellen Sie die folgende Frage: Ist , sind die beiden Grammatiken äquivalent?G 2 L ( G 1 ) = L ( G 2 )G1G1G_1G2G2G_2L ( G1) = L ( G2)L(G1)=L(G2)L(G_1) = L(G_2) Im Allgemeinen ist dieses Problem nicht zu entscheiden. Wenn jedoch sowohl als auch...
Kann eine kontextfreie Grammatik "tote Zustände" von einem Automaten enthalten, wie z G = ( { a , b , c } , { A , B , C} , { A → a B , B → b , B → C, C→ c C} , A )?G=({ein,b,c},{EIN,B,C},{EIN→einB,B→b,B→C,C→cC},EIN)?G = \big(\{a, b, c\}, \{A, B, C\}, \{A\to aB, B\to b, B\to C, C\to cC\}, A\big)\,?...
Der Schnittpunkt einer kontextfreien Sprache L mit einer regulären Sprache M soll immer kontextfrei sein. Ich habe den produktübergreifenden Konstruktionsnachweis verstanden, verstehe aber immer noch nicht, warum er kontextfrei, aber nicht regelmäßig ist. Die durch eine solche Schnittmenge erzeugte...
Wenn ich eine Typ-3-Grammatik habe, kann sie auf einem Pushdown-Automaten dargestellt werden (ohne dass eine Operation auf dem Stapel ausgeführt wird), sodass ich reguläre Ausdrücke mithilfe kontextfreier Sprachen darstellen kann. Aber kann ich wissen, ob eine Typ-3-Grammatik , L L ( 1 ) , S L R (...
Es ist fraglich, ob die meisten Sprachen, die zur Beschreibung alltäglicher Probleme erstellt wurden, kontextsensitiv sind. Andererseits ist es möglich und nicht schwer, einige Sprachen zu finden, die nicht rekursiv oder sogar nicht rekursiv aufzählbar sind. Zwischen diesen beiden Typen befinden...
Gemäß dem Wikipedia-Artikel bedeutet das L in "Abtastung von links nach rechts" und das "R" bedeutet "Ableitung ganz rechts". In Knuths Originalarbeit über L R ( k ) -Grammatiken definiert er L R ( k ) (auf Seite 610) als eine Sprache, die "mit gebundenem k von links nach rechts übersetzbar ist"...
Ich versuche mir den Umgang mit Bisons beizubringen. Die Manpage Bison (1) sagt über Bison: Generieren Sie einen deterministischen LR-Parser oder einen generalisierten LR-Parser (GLR-Parser) unter Verwendung von LALR- (1), IELR- (1) oder kanonischen LR- (1) Parsertabellen. Was ist ein IELR-Parser?...