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...
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
Diese Grammatik bleibt rekursiv: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term |...
Ich arbeite an einem Parser für eine Sprache im C-Stil, und für diesen Parser benötige ich den regulären Ausdruck, der mit C-Stil / ** / Kommentare übereinstimmt. Jetzt habe ich diesen Ausdruck im Web gefunden: /\*([^\*]*\*+[^\*/])*([^\*]*\*+|[^\*]*\*/ Wie Sie sehen, ist dies jedoch ein ziemlich...
Abstrakte Problembeschreibung So wie ich es sehe, bedeutet Unparsing, einen Token-Stream aus einem AST zu erstellen, der beim erneuten Parsen einen gleichen AST erzeugt, dh parse(unparse(AST)) = ASThalten sollte. Dies entspricht dem Auffinden eines gültigen Analysebaums, der denselben AST erzeugen...
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...