Als «formal-grammars» getaggte Fragen

Fragen zu formalen Grammatiken, generative Beschreibungen formaler Sprachen.

1
Ausdruckskraft moderner regulärer Ausdrücke
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 ||||||||denen die Anzahl der |Primzahlen ist. Ich sagte ihm sofort, dass dies …
2
Richtiger Name für einen rekursiven Abstiegsparser, der Schleifen verwendet, um die linke Rekursion zu behandeln?
Diese Grammatik bleibt rekursiv: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term | MultiplicationExpression '/' Term Term ::= Number | '(' AdditionExpression ')' Number ::= [+-]?[0-9]+(\.[0-9]+)? Theoretisch funktioniert ein rekursiver Abstieg also nicht. Durch Ausnutzen der Eigenschaften …
1
Können formale Sprachen zum Studium der mathematischen Notation verwendet werden?
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, wann eine bestimmte Art von Notation zu exponentieller Redundanz führt. …
1
Konvertieren Sie PEG in BNF
Das Analysieren von Ausdrucksgrammatiken (PEGs) ist eindeutig und hat eine oberflächlich ähnliche Syntax wie BNF , enthält jedoch drei wichtige Unterschiede: Der bestellte Auswahloperator e1 / e2 / e3. Das und Prädikat &. Der Nicht-Operator !. Ich habe ein paar Fragen: Sind die von PEGs erkannten Sprachen alle kontextfrei? Wenn …
5
Beziehung zwischen formalem System und formalen Sprachen
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 formales System betrachtet werden?
2
Generieren einer Reihe von Zeichenfolgen mit minimaler Länge, die zusammen jede Produktion einer kontextfreien Sprache aufrufen
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 habe den größten Teil …
5
Welche genaue Beziehung besteht zwischen Programmiersprachen und Turing-Maschinen?
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, b∈Γb∈Γb \in \Gamma, Σ⊆Γ∖{b}Σ⊆Γ∖{b}\Sigma \subseteq \Gamma \smallsetminus \{ …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.