Relazione tra analisi a riduzione del turno e continuazioni delimitate?

Qualcuno ha formalizzato la relazione tra tecniche di analisi a riduzione del turno e continuazioni delimitate?

Quando si costruisce un parser bottom-up (ad esempio, parser LR), prendiamo una grammatica e quindi rappresentiamo gli stati di analisi come insiemi di elementi : produzioni aumentate del modulo , dove e sono sequenze di terminali e non terminali. Il marcatore rappresenta fino a che punto il parser è arrivato nella stringa, con rappresenta ciò che è stato visto finora e rappresenta una previsione di ciò che può ancora essere analizzato. $A \to \alpha \bullet \beta$ $\alpha$ $\beta$ $\bullet$ $\alpha$ $\beta$

Un'azione di trasferimento in una transizione dell'automa LR parse corrisponde un prefisso della pila contro , e sostituirlo con . Una manipolazione così profonda della pila ricorda l'effetto di un operatore di controllo, ma questa è solo un'osservazione qualitativa. $\alpha$ $A$

Qualcuno ha studiato la connessione tra analisi di riduzione del cambio e operatori di controllo delimitati come shift / reset?

pl.programming-languages parsing

— Neel Krishnaswami
fonte

Osservazione interessante

— Dave Clarke,

Ci si sarebbe potuto aspettare che Michael Sperber avesse scritto da qualche parte su questa relazione, dato il suo lavoro sull'analisi del CPS LR e sulle continuazioni delimitate, ma non ho trovato nulla.

— Sylvain,

Ricordo che Ken Shan mi aveva menzionato questa connessione nel 2004 e mi aveva suggerito che sarebbe stata un'ottima opportunità di gioco di parole. Tuttavia, non so che abbia scritto / codificato nulla al riguardo.

— Noam Zeilberger,

Credo che il seguente documento esplori alcune di queste connessioni, principalmente usando le continuazioni per tornare indietro quando accadono cose nei parser. Ma c'è sicuramente molto altro da fare qui.

Rollback modulare tramite registrazione di controllo: una coppia di gemme funzionali gemelle

Olin Shivers, Aaron Turon , ICFP 2011.

— Sam Tobin-Hochstadt
fonte