शिफ्ट-हल पार्सिंग

मैं हाल ही में एक पेपर में आया हूं जो शीर्षक में वर्णित पार्सिंग तकनीक का वर्णन करता है। दुर्भाग्य से, उक्त कागज में प्रयुक्त शब्दावली कुछ हद तक मेरी समझ से परे है, इसलिए मैं निर्माण एल्गोरिथम को अधिक सहजता से समझने का प्रयास कर रहा हूं। मेरा मानना है कि मैं सफल हुआ ( यह प्रस्तुति आह-हा क्षण का स्रोत थी), लेकिन तकनीक से परिचित किसी व्यक्ति की शुद्धता का सत्यापन या उसमें मौजूद शब्दावली की बहुत सराहना की जाएगी।

मैं अपने समाधान पर अपना वर्णन करने जा रहा हूं (यदि यह सही है, मेरा मानना है कि यह तकनीक को समझने का प्रयास करने वाले अन्य लोगों की मदद हो सकती है) और बाद में अतिरिक्त प्रश्न पूछें। : वहाँ कोई गलतफहमी है सुनिश्चित करने के लिए, मैं निम्नलिखित मानक संकेतन का उपयोग करने के लिए जा रहा हूँ $a, b, c, ... \in T$ , $A, B, C, ... \in N$ , $... X, Y, Z \in N \cup T$ , $\alpha, \beta, \gamma, ... \in \{N \cup T\}^*$ और, कागज, के रूप में $A \xrightarrow{i} \omega$ नियम संख्या को निरूपित करने के $i$ । हालाँकि, मैं शायद मूल पेपर की तुलना में अवधारणाओं के लिए अलग-अलग नामों का उपयोग करूँगा।

साथ ही, वर्णन भर, तुल्यता संबंध $\kappa_0$ प्रयोग किया जाता है।

निर्माण

पार्स आटोमैटिक मशीन के अंदर आइटम के दो प्रकार के होते हैं: सरल एलआर (0) फार्म के आइटम जो मैं फोन पारी आइटम और फार्म का जो मैं फोन संकल्प आइटम ; ये पार्सर को प्रतीकों को इनपुट स्ट्रीम को पीछे धकेलने के लिए कहते हैं और फिर upon के पहले प्रतीक पर नियम संख्या से । $A \xrightarrow{i} \alpha \bullet \beta$ $A \xrightarrow{i} \alpha \bullet \beta, m, n$ $n$ $m$ $\beta$

व्याकरण नियम के साथ संवर्धित है और पारी आइटम के साथ निर्माण शुरू होता है में प्रारंभिक अवस्था। $S' \xrightarrow{0} S \$$ $S' \xrightarrow{0} \bullet S \$$

अब, ऑटोमेटन का निर्माण करने के लिए, राज्य में प्रत्येक आइटम के लिए इन विकल्पों के बीच निर्णय लें : $q$

आइटम एक पारी आइटम है एक संक्रमण, वहाँ हो जाएगा आटोमैटिक मशीन में, जहां के पहले प्रतीक है । $A \xrightarrow{i} \alpha \bullet \beta$ $q \xrightarrow{X} q'$ $X$ $\beta$
यदि आइटम एक समाप्त पारी मद है , एक संकल्प आइटम जोड़ने के प्रत्येक नियम के लिए । $A \xrightarrow{i} \omega \bullet$ $B \xrightarrow{j} \alpha A \bullet \beta, i, 0$ $B \xrightarrow{j} \alpha A \beta$
आइटम एक संकल्प आइटम है , चलो के पहले प्रतीक हो । यदि , एक पारी आइटम जोड़ने के लिए प्रत्येक नियम । अगर तुलना में अन्य मदों है एक संक्रमण उनके डॉट अग्रदर्शी के रूप में जोड़ $A \xrightarrow{i} \alpha \bullet \beta, m, n$ $X$ $\beta$ $X \in N$ $X \xrightarrow{j} \bullet \omega$ $X \xrightarrow{j} \omega$ $A \xrightarrow{i} \alpha \bullet \beta, m, n$ $X$ $q \xrightarrow{X} q'$ ऑटोमेटन को। हर संकल्प आइटम में एक संकल्प आइटम का परिणाम देगा में । $C \xrightarrow{i} \alpha \bullet X \beta, m, n$ $q$ $C \xrightarrow{i} \alpha X \bullet \beta, m, n + 1$ $q'$
आइटम एक संकल्प आइटम है यह किसी भी अग्रदर्शी जानकारी योगदान देगा नहीं और त्याग किया जा सकता है, लेकिन पहले एक संकल्प आइटम जोड़ने के प्रत्येक नियम के लिए । $A \xrightarrow{i} \omega \bullet, m, n$ $B \xrightarrow{j} \alpha A \bullet \beta, m, n$ $B \xrightarrow{j} \alpha A \beta$

यह, ज़ाहिर है, सिर्फ एक स्केच है; वास्तव में, राज्य के एक बंद को पहले गणना की जानी चाहिए और उसके बाद ही हम बदलाव / बदलाव और प्रस्तावों से निपट सकते हैं।

ऑटोमेटन को एक शिफ्ट-रिज़ॉल्यूशन पार्सिंग टेबल में बदलना बाद में तुच्छ है; बस, एक मामूली भिन्नता के रूप में, कागज के लेखक एक संकल्प को स्वीकार करते हैं जो कि क्रिया को स्वीकार करते हैं। परिणामी ऑटोमेटन को देखते हुए, मुझे यह स्वीकार करने की क्रिया के रूप में की एक पारी का इलाज करने के लिए हाथ मिला । $r_{0,0}$ $\$$

प्रशन

पहला, स्पष्ट रूप से, ऊपर वर्णित प्रक्रिया सही है या नहीं।

दूसरा समतुल्यता संबंधों के बारे में है। मैं केवल अनुमान लगा सकते हैं कि तुल्यता संबंध क्या निर्णय लेने से जो संकल्प आइटम जब एक समाप्त पारी आइटम देखा गया है में लाया जाता है के लिए जिम्मेदार है। का परिणाम एलएसएलआर पार्सर्स के सेट के समान दिखने वाला है। पेपर पृष्ठ 11 पर "महीन तुल्यता संबंध" का वर्णन करता है; क्या सहज संबंध में इस संबंध की व्याख्या करने का एक तरीका है? क्या अन्य संबंध ज्ञात हैं? $\kappa$ $\kappa_0$ $FOLLOW_{LM}$

और अंतिम एक संघर्ष समाधान के बारे में है। पेपर अच्छी तरह से वर्णन करता है कि शिफ्ट-रिज़ॉल्यूशन ऑटोमेटन में अपर्याप्तता क्या है; क्या पारंपरिक एलआर पार्सर में संघर्षों को सुलझाने के तरीकों के समान, इन अपर्याप्तताओं को हल करने का एक तरीका है? की तरह कुछ कर सके याक पूर्वता और संबद्धता के माध्यम से शैली संघर्ष समाधान एक ShRe पार्सर जेनरेटर में लागू किया?

धन्यवाद अगर आपने यह सब पढ़ा है और किसी भी उत्तर की बहुत सराहना की जाएगी :)

— जकुब लेडल
स्रोत

इस प्रश्न को cstheory पर माइग्रेट करने का सुझाव दें। कागज के लिए के रूप में, यह एक बहुत ही जटिल एल्गोरिथ्म लगता है कि "शायद" (?) किसी के द्वारा लागू नहीं किया गया है। लगता है कि मुख्य विचार मनमाने ढंग से संयोजन करने के लिए लगता है, लेकिन रैखिक समय पार्सिंग के साथ भी ...? लेकिन एक सरल, अधिक मानक, सुपरलाइन एल्गोरिथ्म के साथ कितने अनुप्रयोग ठीक होंगे? किसी भी विचार, क्या अनुप्रयोग इस दृष्टिकोण के साथ बेहतर काम करेगा? क्या आपके पास एक या एक का पता है?

— vzn

एक बहुत अच्छा सैद्धांतिक अभ्यास (हालांकि मैंने तकनीकी को नहीं देखा)। यह देखते हुए कि LR (k) की पूरी शक्ति अक्सर उपयोग नहीं की जाती है, कोई भी व्यावहारिक प्रभाव के बारे में आश्चर्यचकित हो सकता है। मैं इस तरह के काम के साथ 2 समस्याएं देखता हूं: (1) चूंकि एल्गोरिथ्म अधिक जटिल हो जाता है, क्या मानव मन के लिए व्याकरण को फिर से समझना और परिणामों को समझना संभव है, जब यह काम नहीं करने के लिए होता है। यह एक लगातार तथ्य है कि अत्यधिक परिष्कृत तकनीकें जब वे काम करती हैं तो बहुत फायदेमंद होती हैं, लेकिन जब वे नहीं करती हैं तो चीजें बदतर होती हैं। (2) क्या यह उन मामलों में रैखिक होगा जब सामान्य CF एल्गोरिदम रैखिक नहीं हैं।

— बबौ

जाँच करें कि क्या यह विश्वकोश डी। ग्रून, सीजेएच जैकब्स, "पार्सिंग तकनीक: एक व्यावहारिक मार्गदर्शिका" (स्पिंगर, 2008) में चर्चा की गई है । यदि नहीं, तो शायद चर्चा की गई तकनीक के समान है।

— vonbrand
स्रोत

शिफ्ट-हल पार्सिंग - प्रश्न

निर्माण

प्रशन