移位减少解析与定界连续之间的关系？

是否有人正式定义了移位减少解析技术和定界连续符之间的关系？

在构造一个自下而上的解析器（例如LR解析器）时，我们采用一种语法，然后将解析状态表示为一组项：形式的增产，其中α和β是末端和非末端的序列。标记∙表示解析器进入字符串的距离，其中α表示到目前为止已看到的内容，而β表示对可能要解析的内容的预测。$A \to \alpha \bullet \beta$$\alpha$$\beta$$\bullet$$\alpha$$\beta$

在LR语法分析自动机的转变的移位动作匹配靠在堆叠的前缀，并将其替换为甲。对堆栈的这种深层操作类似于控制操作员的效果，但这只是定性观察。$\alpha$$A$

有没有人研究过移位减少解析与定界控制运算符（例如移位/重置）之间的联系？

我相信，以下论文将探讨其中的一些联系，主要是通过在分析器中发生事件时使用延续来回溯。但是，这里肯定还有更多工作要做。

通过控制日志进行模块化回滚：一对双功能珍珠

Olin Shivers，Aaron Turon，ICFP 2011。