Зв’язок між зрушенням-зменшенням розбору та обмеженим продовженням?

Хтось формалізував зв'язок між методами розбору скорочення зрушення та обмеженим продовженням?

При побудові від низу до верху аналізатора (наприклад, LR парсери), ми візьмемо граматику , а потім представляють синтаксичнийаналіз стан як сукупності елементів : доповнене твір виду , де і є послідовності терміналів і нетерміналів. Маркер відображає, наскільки симулятор потрапив у рядок, при цьому представляє побачене дотепер, а представляє передбачення того, що ще може бути проаналізовано.α β ∙ α $A \to \alpha \bullet \beta$$\alpha$$\beta$$\bullet$$\alpha$$\beta$

Акція зрушення в переході LR розбору автомата збігається з префіксом стека проти $\alpha$ , і замінити його $A$ . Така глибока маніпуляція стеком нагадує ефект оператора управління, але це лише якісне спостереження.

Хтось вивчав зв'язок між синтаксичним розбором скорочення та обмеженими операторами управління, такими як shift / reset?

Я вважаю, що наступний документ досліджує деякий зв’язок, здебільшого, використовуючи продовження для зворотного відстеження, коли все відбувається в аналізаторах. Але тут, безумовно, можна зробити більше.

Модульний відкат через контрольну реєстрацію: пара функціональних перлів-близнюків

Олін Шиверс, Аарон Турон , ICFP 2011