Zusammenhang zwischen schichtreduziertem Parsing und abgegrenzten Fortsetzungen?

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.$A \to \alpha \bullet \beta$$\alpha$$\beta$$\bullet$$\alpha$$\beta$

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.$\alpha$$A$

Hat jemand den Zusammenhang zwischen Shift-Reduce-Parsing und abgegrenzten Steueroperatoren wie Shift / Reset untersucht?

Ich glaube, dass der folgende Aufsatz einige dieser Zusammenhänge untersucht, hauptsächlich indem er Fortsetzungen verwendet, um zurückzuverfolgen, wenn Dinge in Parsern passieren. Aber hier gibt es definitiv noch mehr zu tun.

Modularer Rollback durch Kontrollprotokollierung: Ein Paar doppelter Funktionsperlen

Olin Shivers, Aaron Turon , ICFP 2011.