शिफ्ट-कम पार्सिंग और सीमांकित निरंतरता के बीच संबंध?

Question

क्या किसी ने शिफ्ट-कम पार्सिंग तकनीकों और सीमांकित निरंतरताओं के बीच संबंध को औपचारिक रूप दिया है?

जब एक नीचे-ऊपर पार्सर (जैसे, एलआर पारसर्स) के निर्माण के लिए, हम एक व्याकरण लेने के लिए और उसके बाद के सेट के रूप में पार्स राज्यों का प्रतिनिधित्व आइटम : फार्म की संवर्धित प्रस्तुतियों , जहां अल्फा और बीटा टर्मिनलों और nonterminals के दृश्यों रहे हैं। मार्कर ∙ का प्रतिनिधित्व करता है कितनी दूर पार्सर के साथ, स्ट्रिंग में हो गया है α का प्रतिनिधित्व क्या अब तक देखा गया है, और β क्या अभी तक पार्स नहीं किया जा सकता है की एक भविष्यवाणी का प्रतिनिधित्व।$A \to \alpha \bullet \beta$$\alpha$$\beta$$\bullet$$\alpha$$\beta$

LR पार्स ऑटोमेटन के एक संक्रमण में एक शिफ्ट एक्शन खिलाफ स्टैक के उपसर्ग से मेल खाता है , और इसे ए के साथ बदलें । स्टैक का इतना गहरा हेरफेर एक नियंत्रण ऑपरेटर के प्रभाव जैसा दिखता है, लेकिन यह सिर्फ एक गुणात्मक अवलोकन है।$\alpha$$A$

क्या किसी ने शिफ्ट-कम पार्सिंग और सीमांकित नियंत्रण ऑपरेटरों जैसे कि शिफ्ट / रीसेट के बीच संबंध का अध्ययन किया है?

Comments

दिलचस्प अवलोकन।

— डेव क्लार्क

एक उम्मीद की जा सकती है कि माइकल स्पैबर ने इस संबंध के बारे में कहीं लिखा होगा, सीपीएस एलआर पार्सिंग और सीमांकित निरंतरता पर अपना काम दिया था, लेकिन मुझे कुछ भी नहीं मिला।

— सिल्वेन

मुझे याद है कि केन शान ने 2004 में मेरे साथ इस संबंध का उल्लेख किया था, और सुझाव दिया था कि यह एक महान सजा का अवसर प्रदान करेगा। मुझे नहीं पता कि वह इसके बारे में कुछ भी लिखा / कोड किया गया है, हालाँकि।

— नोआम ज़िलबर्गर

Answer 1

मेरा मानना ​​है कि निम्नलिखित पेपर इस संबंध के कुछ पहलुओं की पड़ताल करता है, ज्यादातर जब चीज़ों में गड़बड़ी होती है तो निरंतरता का उपयोग करके। लेकिन यहाँ करने के लिए निश्चित रूप से अधिक है।

नियंत्रण लॉगिंग के माध्यम से मॉड्यूलर रोलबैक: जुड़वां कार्यात्मक मोती की एक जोड़ी

ओलिन शावर्स , आरोन ट्यूरन, आईसीएफपी 2011।