Hat jemand die Beziehung zwischen Parsing-Techniken zur Schichtreduzierung und abgegrenzten Fortsetzungen formalisiert?
Bei der Erstellung eines Bottom-Up-Parsers (z. B. LR-Parser) nehmen wir eine Grammatik und stellen dann Analysezustände als Mengen von Elementen dar : erweiterte Produktionen der Form , wobei und sind Sequenzen von Terminals und Nichtterminals. Die Markierung , wie weit der Parser in die Zeichenfolge gelangt ist, wobei für das steht, was bisher gesehen wurde, und für eine Vorhersage dessen, was noch analysiert werden kann.
Ein Schaltvorgang in einem Übergang der LR - Parsing - Automaten entspricht einen Präfix des Stapels gegen , und ersetzt sie durch . Eine derart tiefe Manipulation des Stapels ähnelt der Wirkung eines Steueroperators, dies ist jedoch nur eine qualitative Beobachtung.
Hat jemand den Zusammenhang zwischen Shift-Reduce-Parsing und abgegrenzten Steueroperatoren wie Shift / Reset untersucht?