खूंटी व्याकरण में क्रियाएँ जोड़ना

व्याकरण और भी बेहतर है यदि आप नियमों के अनुसार (कुछ) शब्दार्थ जोड़ सकते हैं। विशेष रूप से, पायथन विश्लेषक के लिए जो मैं विकसित कर रहा हूं, मुझे प्रत्येक विकल्प से एएसटी नोड को वापस करने की आवश्यकता है, क्योंकि मैं सीपीटी में वर्तमान एएसटी कार्यान्वयन के साथ रहना चाहता हूं।

कई व्याकरण एक सम्मेलन का उपयोग करते हैं जो आपको नियमों में क्रियाओं को जोड़ने की अनुमति देता है - आमतौर पर {घुंघराले कोष्ठक} के अंदर कोड का एक ब्लॉक। अधिक सटीक रूप से, वे विकल्पों से बंधे हैं। इस ब्लॉक में कोड को संकलक के बाकी के रूप में उसी भाषा में लिखा गया है, उदाहरण के लिए, सी में, विकल्प में तत्वों को संदर्भित करने की कुछ क्षमता द्वारा पूरक। मूल pgen पायथन में, मैंने इस कार्यक्षमता को नहीं जोड़ा, लेकिन एक नई परियोजना के लिए मैं इसे लागू करना चाहूंगा।

यहां बताया गया है कि हम सरलीकृत पार्सर जनरेटर के लिए यह कैसे करते हैं कि मैं इस श्रृंखला की पोस्ट के हिस्से के रूप में विकसित हो रहा हूं।

क्रियाओं का सिंटैक्स आमतौर पर यह है:

 rule: item item item { action 1 } | item item { action 2 } 

चूंकि यह व्याकरण को अधिक क्रियाशील बनाता है, पार्सर जनरेटर आमतौर पर बहु-पंक्ति नियमों की अनुमति देते हैं, उदाहरण के लिए:

 rule: item item item { action 1 } | item item { action 2} 

यह पार्सर को थोड़ा अधिक जटिल बनाता है, लेकिन यह पठनीयता के लिए महत्वपूर्ण है, इसलिए मैं इस तरह के रिकॉर्ड का समर्थन करूंगा।

शाश्वत प्रश्न यह है कि इस ब्लॉक को कब निष्पादित किया जाए। Yacc / Bison में, यह पार्सर नियम को मान्यता देने के तुरंत बाद किया जाता है, क्योंकि टोकन सूची में कोई रोलबैक नहीं है। प्रत्येक क्रिया को एक बार निष्पादित करने का अर्थ है कि वैश्विक दुष्प्रभाव हो सकते हैं (जैसे कि प्रतीक तालिका या किसी अन्य संकलक डेटा संरचना को अद्यतन करना)।

खूंटी पार्सरों में टोकन की सूची में उनकी असीमित वापसी के साथ, हमारे पास कई विकल्प हैं:

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

मैंने तीसरा विकल्प चुना - किसी भी स्थिति में, हम पैकरैट एल्गोरिथ्म का उपयोग करके विधि के परिणाम को कैश करते हैं, इसलिए हम परिणामों को भी कैश कर सकते हैं।

{Curlies} में सामग्री के लिए, परंपरा के अनुसार यह किसी मान्यता प्राप्त विकल्प में तत्वों को संदर्भित करने के लिए $ आधार पर एक समझौते के साथ C कोड का उपयोग करता है (उदाहरण के लिए, $1 को प्रथम तत्व को संदर्भित करने के लिए) और असाइनमेंट $$ कार्रवाई का परिणाम इंगित करने के लिए। यह बहुत पुराने ढंग का लगता है (मेरे पास रिटर्न वैल्यू को दर्शाने के लिए अल्गोल -60 में फ़ंक्शन असाइनमेंट का उपयोग करने की यादें हैं), इसलिए मैं इसे और अधिक पायथोनिक बना दूंगा: कोष्ठक के अंदर आपको एक अभिव्यक्ति डालनी होगी, जिसके परिणामस्वरूप कार्रवाई का परिणाम होगा, और तत्वों के लिंक होंगे तत्व का पाठ देने वाले सरल नाम। एक उदाहरण के रूप में, यहां एक सरल कैलकुलेटर है जो संख्याओं को जोड़ और घटा सकता है:

 start: expr NEWLINE { expr } expr: expr '+' term { expr + term } | expr '-' term { expr - term } | term { term } term: NUMBER { float(number.string) } 

आइए इसे 100 + 50 - 38 - 70 के उदाहरण पर निष्पादित करें। वह उत्तर की गणना करेगा, क्योंकि वह गणना करके भागों को पहचानता है ((100 + 50) - 38) - 70 , जो निश्चित रूप से 42 ।

एक छोटा विवरण: term लिए कार्रवाई में term चर number में एक TokenInfo ऑब्जेक्ट होता है, इसलिए आपको स्ट्रिंग रूप में टोकन प्राप्त करने के लिए .string विशेषता का उपयोग करने की आवश्यकता होती है।

जब कोई विकल्प एक ही नियम नाम के साथ कई बार होता है तो हम क्या करते हैं? पार्सर जनरेटर प्रत्येक घटना को 1 , 2 , आदि जोड़कर एक अद्वितीय नाम देता है। एक ही विकल्प के भीतर होने वाली घटनाओं के लिए। उदाहरण के लिए:

 factor: atom '**' atom { atom ** atom1 } | atom { atom } 

पूर्ण कार्यान्वयन बल्कि उबाऊ है, इसलिए मैं उस पर ध्यान नहीं देना चाहता। मैं आपको अपनी रिपॉजिटरी में देखने और कोड के साथ खेलने के लिए आमंत्रित करता हूं:

 python3.8 -m story5.driver story5/calc.txt -g story5.calc.CalcParser 

विज़ुअलाइज़ेशन अब आपको बाएँ और दाएँ तीर कुंजियों का उपयोग करके आगे और पीछे जाने की अनुमति देता है!

इस लेख के लिए लाइसेंस और कोड का हवाला दिया: CC BY-NC-SA 4.0