Vardiya azaltma ayrıştırma ile sınırlı süreklilik arasındaki ilişki?

Kimse vardiya azaltma ayrıştırma teknikleri ile sınırlandırılmış devamlar arasındaki ilişkiyi resmileştirdi mi?

Tabandan tavana ayrıştırıcı (örneğin LR ayrıştırıcılar) oluştururken, bir dilbilgisi alıp daha sonra setleri olarak ayrıştırma durumlarını temsil öğeler : Formun artar yapımları , α ve β terminaller ve nonterminallerin dizilerdir. ∙ işareti ayrıştırıcının dizeye ne kadar uzandığını, α şimdiye kadar görüleni temsil eder ve β henüz neyin ayrıştırılabileceğini tahmin eder.$A \to \alpha \bullet \beta$$\alpha$$\beta$$\bullet$$\alpha$$\beta$

LR ayrıştırma otomatının geçişindeki bir kaydırma eylemi, yığının önekini eşleştirir ve A ile değiştirir . Yığın böyle derin bir manipülasyonu, bir kontrol operatörünün etkisine benzer, ancak bu sadece nitel bir gözlemdir.$\alpha$$A$

Vardiya azaltma ayrıştırma ile shift / reset gibi sınırlandırılmış kontrol operatörleri arasındaki bağlantıyı inceleyen var mı?

Aşağıdaki makalenin, çoğunlukla ayrıştırıcılarda bir şeyler olduğunda geri izlemeye devam etmek için bu bağlantıdan bazılarını araştırdığına inanıyorum. Ama burada yapılacak daha çok şey var.

Kontrol kaydı yoluyla modüler geri alma: Bir çift ikiz fonksiyonel inci

Olin Shivers, Aaron Turon , ICFP 2011.