Computerwissenschaften parsers

1

Sprachtheoretischer Vergleich von LL- und LR-Grammatiken

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 (*) einfügt.kkkkkk Soweit ich …

67 formal-languages formal-grammars parsers reference-question

1

Gibt es einen nicht-allgemeinen CFG-Parsing-Algorithmus, der EPAL erkennt?

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 Parsing-Algorithmen: Ich habe noch keinen Parsing-Algorithmus für …

23 formal-languages formal-grammars parsers

3

Analysieren von beliebigen kontextfreien Grammatiken, meist kurze Ausschnitte

Ich möchte benutzerdefinierte domänenspezifische Sprachen analysieren. Diese Sprachen ähneln normalerweise mathematischen Notationen (ich analysiere keine natürliche Sprache). Benutzer definieren ihr DSL in einer BNF-Notation wie folgt: expr ::= LiteralInteger | ( expr ) | expr + expr | expr * expr Eingaben wie 1 + ( 2 * 3 )müssen …

20 formal-languages parsers compilers

2

Gibt es für jeden "bösen" Regex eine nicht-böse Alternative, oder ist der Teufel in der Grammatik?

Anscheinend nutzen ReDos- Angriffe die Eigenschaften einiger (ansonsten nützlicher) regulärer Ausdrücke aus. Dies führt im Wesentlichen zu einer Explosion möglicher Pfade durch den von der NFA definierten Graphen. Ist es möglich, solche Probleme zu vermeiden, indem man einen entsprechenden "nicht bösen" Regex schreibt? Wenn nicht (daher kann die Grammatik von …

16 regular-expressions parsers

2

Sind reguläre Ausdrücke

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 ( 1 ) …

16 formal-languages regular-languages formal-grammars parsers regular-expressions

1

Warum getrennt lexen und analysieren?

Es ist möglich, ein Dokument mit einem einzigen Durchgang von einem Zustandsautomaten aus zu analysieren. Was ist der Vorteil von zwei Durchgängen, dh. Haben Sie einen Lexer zum Konvertieren von Text in Token und einen Parser zum Testen der Produktionsregeln für diese Token? Warum nicht einen einzigen Durchgang haben, der …

15 compilers parsers

2

Was ist ein IELR (1) -Parser?

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? Alle relevanten Artikel, die ich im Internet gefunden habe, …

14 formal-languages terminology formal-grammars parsers

1

Wann hat

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 …

14 formal-languages reference-request terminology formal-grammars parsers

3

Was würden Sie erhalten, wenn Sie kontextfreie Grammatiken mit Parametern versehen?

Ich dachte an Grammatiken für indendationssensitive Sprachen und es sieht so aus, als würden CF-Grammatiken in Kombination mit Parametern den Trick machen. Betrachten Sie als Beispiel dieses Fragment für eine vereinfachte Python-Grammatik im ANTLR-ähnlichen Format: // on top-level the statements have empty indent program : statement('')+ ; // let's consider …

13 formal-languages context-free formal-grammars parsers

5

Inwiefern unterscheidet sich die Eindeutigkeit vom Determinismus?

Ich versuche zu verstehen, was unter "deterministisch" in Ausdrücken wie "deterministische kontextfreie Grammatik" zu verstehen ist. (Es gibt eher deterministische "Dinge" in diesem Bereich). Ich würde ein Beispiel mehr schätzen als die ausführlichste Erklärung! Wenn möglich. Meine Hauptverwirrung ist, dass ich nicht feststellen kann, inwiefern sich diese Eigenschaft einer Grammatik …

13 context-free formal-grammars parsers

3

Warum ist die Verwendung eines Lexers / Parsers für Binärdaten so falsch?

Ich arbeite oft mit Lexer / Parser im Gegensatz zu einem Parser-Kombinator und sehe, dass Leute, die noch nie eine Klasse in Parsing besucht haben, nach dem Parsen von Binärdaten fragen. Typischerweise sind die Daten nicht nur binär, sondern auch kontextsensitiv. Dies führt im Grunde dazu, dass nur eine Art …

13 programming-languages compilers parsers

2

Entfernen der linken Rekursion in der Grammatik unter Beibehaltung der linken Zuordnung des Operators

Ich habe ein Problem mit dieser Übung: Sei G die folgende mehrdeutige Grammatik für den λ-Kalkül: E → v | λv.E | EE | (E) wobei E das einzelne nicht-terminale Symbol ist, λv.E die Abstraktion der Variablen v in E darstellt und EE die Anwendung darstellt. Definieren Sie eine LL …

13 context-free formal-grammars compilers parsers

2

Gibt es eine Möglichkeit, zwischen LL (k) - und LR (k) -Grammatik zu unterscheiden?

Ich studiere vor kurzem über das Entwerfen von Compilern. Ich habe zwei Arten von Grammatik kennengelernt: die LL-Grammatik und die LR-Grammatik. Wir kennen auch die Tatsachen, dass jede LL-Grammatik LR ist, das heißt, LL-Grammatik ist eine richtige Teilmenge der LR-Grammatik. Die erste Methode wird beim Parsen von oben nach unten …

12 formal-grammars compilers parsers lr-k ll-k

2

Benötigt die Sprache regulärer Ausdrücke Push-Down-Automaten, um sie zu analysieren?

Ich möchte einen von einem Benutzer eingegebenen regulären Ausdruck in einen NFA konvertieren, damit ich den NFA dann zu Übereinstimmungszwecken für eine Zeichenfolge ausführen kann. Was ist die minimale Maschine, die verwendet werden kann, um reguläre Ausdrücke zu analysieren? Ich gehe davon aus, dass es sich um einen Push-Down-Automaten handeln …

12 formal-languages parsers regular-expressions pushdown-automata

3

Wie ist diese Grammatik LL (1)?

Dies ist eine Frage aus dem Drachenbuch. Das ist die Grammatik: S→AaAb∣BbBaS.→EINeinEINb∣B.bB.einS \to AaAb \mid BbBa B → εA→εEIN→εA \to \varepsilon B→εB.→εB \to \varepsilon In der Frage wird gefragt, wie gezeigt werden kann, dass es sich um LL (1) handelt, nicht jedoch um SLR (1). Um zu beweisen, dass es …

11 formal-grammars compilers parsers

Als «parsers» getaggte Fragen