compilers पर टैग किए गए जवाब

संकलक डिजाइन में, व्याकरण में क्यों छोड़ दिया जाना चाहिए? मैं पढ़ रहा हूं कि यह इसलिए है क्योंकि यह एक अनंत पुनरावृत्ति का कारण बन सकता है, लेकिन क्या यह सही पुनरावर्ती व्याकरण के लिए भी सही नहीं है?

20 formal-grammars  compilers  left-recursion 

मैं उपयोगकर्ता-परिभाषित डोमेन विशिष्ट भाषाओं को पार्स करना चाहता हूं। ये भाषाएं आम तौर पर गणितीय संकेतन के करीब होती हैं (मैं एक प्राकृतिक भाषा को पार्स नहीं कर रहा हूं)। उपयोगकर्ता अपने DSL को BNF संकेतन में इस तरह परिभाषित करते हैं: expr ::= LiteralInteger | ( expr ) …

20 formal-languages  parsers  compilers 

असेंबलर द्वारा असेंबली लैंग्वेज को मशीन लैंग्वेज में बदल दिया जाता है। एक कंपाइलर उच्च-स्तरीय भाषा को असेंबली में क्यों बदलेगा? क्या यह सीधे उच्च-स्तरीय भाषा से मशीन कोड में परिवर्तित नहीं हो सकता है?

19 compilers  code-generation  assembly 

स्थैतिक-एकल असाइनमेंट (एसएसए) पर विकिपीडिया पृष्ठ के अनुसार , एसएसए का उपयोग एलएलवीएम, जीसीसी, एमएसवीसी, मोनो, डाल्विक, स्पाइडरमोंकी, और वी 8 जैसी बड़ी और प्रसिद्ध परियोजनाओं द्वारा किया जाता है, जबकि पृष्ठ पर निरंतरता-गुजर शैली का उपयोग करते हुए। (CPS) की तुलना में थोड़ी कमी है। मेरे पास यह धारणा …

16 compilers  program-optimization  continuations 

राज्य मशीन से एकल पास का उपयोग करके दस्तावेज़ को पार्स करना संभव है। दो पास होने का क्या फायदा, यानी। पाठ को टोकन में बदलने के लिए एक लेक्सर होना, और उन टोकन पर उत्पादन नियमों का परीक्षण करने के लिए एक पार्सर होना? एक भी पास क्यों नहीं …

15 compilers  parsers 

मैं एक संकलक भाषा के लिए एक संकलक पर काम कर रहा हूं और प्रकार के अनुमान समर्थन जोड़ना चाहूंगा। मैं हिंडले-मिलनर को समझता हूं, लेकिन मैं जिस प्रकार का सिद्धांत सीख रहा हूं, मैं उसके अनुरूप हूं, इसलिए मैं इस बारे में अनिश्चित हूं कि इसे कैसे अनुकूलित किया …

15 programming-languages  logic  compilers  type-theory  type-checking 

क्या दोनों में कोई अंतर है? उल्मन की पुस्तक के अनुसार , कंपाइलर एक भाषा को दूसरी (आमतौर पर निम्न स्तर की) भाषा में परिवर्तित करते हैं, और ऐसा एक असेंबलर करता है। दोनों अलग कैसे हैं?

15 terminology  compilers 

मैं मूल पूंछ पुनरावृत्ति उन्मूलन के विचार से परिचित हूं , जहां फ़ंक्शन जो स्वयं को कॉल का प्रत्यक्ष परिणाम लौटाते हैं, पुनरावृत्त छोरों के रूप में फिर से लिखा जा सकता है। foo(...): # ... return foo(...) मैं यह भी समझता हूं कि, एक विशेष मामले के रूप में, …

14 compilers  recursion  program-optimization  tail-recursion 

क्या पार्सर का उत्पादन एक पेड़ होना है या यह सामान्य ग्राफ भी हो सकता है? इसके अलावा, क्या कोई मौजूदा भाषा या एक प्रशंसनीय है जो अपने सिंटैक्स के लिए पेड़ों के बजाय सामान्य रेखांकन प्रतिनिधित्व का उपयोग करता है?

14 compilers  parsing 

मैं अक्सर लेसर / पार्सर के साथ काम करता हूं , जैसा कि एक पार्सर कॉम्बीनेटर के विपरीत होता है और ऐसे लोग देखते हैं जिन्होंने कभी भी पार्सिंग में क्लास नहीं ली, बाइनरी डेटा पार्स करने के बारे में पूछें। आमतौर पर डेटा न केवल बाइनरी है, बल्कि संदर्भ …

13 programming-languages  compilers  parsers 

मुझे इस अभ्यास से समस्या है: G को λ-पथरी के लिए निम्नलिखित अस्पष्ट व्याकरण होने दें: E → v | λv.E | EE | (E) जहां E एकल गैर-टर्मिनल प्रतीक है, λv.E, E में चर v को अमूर्तता का प्रतिनिधित्व करता है, और EE अनुप्रयोग का प्रतिनिधित्व करता है। एक …

13 context-free  formal-grammars  compilers  parsers 

मुझे लगता है कि यह समझ में आता है कि वनों की कटाई कैसे होती है और एक ही समय में एक सूची बनाता है (एक गुना और एक अनपेक्षित कार्य से - कोडरव्यू पर इस अच्छे उत्तर को यहां देखें ), लेकिन जब मैंने तुलना की कि तकनीक पर …

12 terminology  compilers  functional-programming 

मैं हाल ही में कम्पाइलर डिजाइनिंग के बारे में अध्ययन कर रहा हूँ। मुझे दो प्रकार के व्याकरण के बारे में पता चला, एक है एलएल व्याकरण और दूसरा है एलआर व्याकरण। हम यह भी जानते हैं कि हर एलएल व्याकरण एलआर है कि एलएल व्याकरण एलआर व्याकरण का एक …

12 formal-grammars  compilers  parsers  lr-k  ll-k 

यह ड्रैगन बुक का एक प्रश्न है। यह व्याकरण है: S→AaAb∣BbBaS→AaAb∣BbBaS \to AaAb \mid BbBa A→εA→εA \to \varepsilon B→εB→εB \to \varepsilon सवाल पूछता है कि यह कैसे दिखाया जाए कि यह एलएल (1) है, लेकिन एसएलआर (1) नहीं। यह साबित करने के लिए कि यह एलएल (1) है, मैंने इसकी …

12 formal-grammars  compilers  parsers 

लर्निंग एफ # के लिए एक टिप्पणी में : कार्यात्मक अवधारणाओं को सीखने के लिए अन्य प्रोग्रामिंग भाषाओं का उपयोग करने वाली पुस्तकों का अनुवाद एफ # में किया जा सकता है? Makarius कहा: ध्यान दें कि "CPS" दृष्टिकोण ने SML / NJ में प्रदर्शन को बहुत नुकसान पहुंचाया है। …

11 compilers  functional-programming  proof-assistants  continuations