Взаимосвязь между анализом сдвига и уменьшением и продолжением с разделителями?

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

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

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

Кто-нибудь изучал связь между синтаксическим анализом сдвига-уменьшения и управляющими операторами с разделителями, такими как сдвиг / сброс?

Я полагаю, что в следующей статье рассматриваются некоторые из этих связей, в основном с использованием продолжений для возврата, когда что-то происходит в синтаксических анализаторах. Но здесь определенно есть чем заняться.

Модульный откат через контрольное ведение журнала: пара двойных функциональных жемчужин

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