shift-reduce解析と区切られた継続の関係？

シフト削減構文解析手法と区切られた継続との間の関係を公式化した人はいますか？

ボトムアップパーサー（たとえば、LRパーサー）を構築するとき、文法を取り、解析状態をアイテムのセットとして表します：形式の拡張された生成。ここで、αとβは終端と非終端のシーケンスです。マーカー∙は、パーサーが文字列に到達した距離を表し、αはこれまでに見たものを表し、βはまだ解析される可能性があるものの予測を表します。$A \to \alpha \bullet \beta$$\alpha$$\beta$$\bullet$$\alpha$$\beta$

LR解析オートマトンの遷移におけるシフトアクションは、スタックのプレフィックスをに一致させ、それをAに置き換えます。このようなスタックの深い操作は、制御演算子の効果に似ていますが、これは定性的な観察にすぎません。$\alpha$$A$

シフトリデュース解析とシフト/リセットなどの区切られた制御演算子との関係を研究した人はいますか？

次のペーパーでは、パーサーで問題が発生したときにバックトラックするために継続を使用することにより、この接続の一部を検討していると思います。しかし、ここでやることは間違いありません。

制御ロギングによるモジュール式ロールバック：ツイン機能真珠のペア

Olin Shivers、Aaron Turon、ICFP 2011。