formal-grammars पर टैग किए गए जवाब

लोग अक्सर कहते हैं कि एलआर (के) पार्सर्स एलएल (के) पार्सर की तुलना में अधिक शक्तिशाली हैं । ये कथन अधिकतर समय अस्पष्ट होते हैं; विशेष रूप से, क्या हमें सभी पर निश्चित या संघ के लिए वर्गों की तुलना करनी चाहिए ? तो वास्तव में स्थिति कैसी है? विशेष …

66 formal-languages  formal-grammars  parsers  reference-question 

आइए हम एक संदर्भ-मुक्त भाषा को नियतात्मक कहते हैं यदि और केवल यदि इसे एक नियतात्मक पुश-डाउन ऑटोमेटन और अन्यथा nondeterministic द्वारा स्वीकार किया जा सकता है। आइए हम एक संदर्भ-मुक्त भाषा को स्वाभाविक रूप से अस्पष्ट कहते हैं यदि और केवल यदि सभी संदर्भ-मुक्त व्याकरण जो भाषा उत्पन्न करते …

36 formal-languages  automata  formal-grammars  pushdown-automata 

यह देखकर कि चॉम्स्की पदानुक्रम में टाइप 3 भाषाओं को एक स्टेट मशीन द्वारा पहचाना जा सकता है जिसमें कोई बाहरी मेमोरी नहीं है (यानी, एक परिमित ऑटोमेटन), टाइप 2 के साथ स्टेट मशीन द्वारा सिंगल स्टैक (यानी पुश-डाउन ऑटोमेटन) और टाइप 0 बाय एक स्टेट मशीन जिसमें दो स्टैक …

34 formal-languages  applied-theory  computability  automata  formal-grammars 

एक संदर्भ-मुक्त व्याकरण क्या है, इस बारे में ऑनलाइन बहुत सारी परिभाषाएँ हैं, लेकिन मुझे जो कुछ भी नहीं मिला वह मेरी प्राथमिक परेशानी को संतुष्ट करता है: यह किस संदर्भ से मुक्त है? जांच करने के लिए, मैंने "संदर्भ संवेदनशील व्याकरण" को गोगल किया, लेकिन मैं अभी भी यह …

30 terminology  context-free  formal-grammars 

मैं कुछ समय से संकलक का अध्ययन कर रहा हूं, और मैं व्याकरण में "संदर्भ" से तात्पर्य खोज रहा हूं और व्याकरण का "संदर्भ-मुक्त" होने का क्या अर्थ है, लेकिन कोई परिणाम नहीं है। तो क्या कोई इसकी मदद कर सकता है?

29 terminology  context-free  formal-grammars 

मेरे पास जोड़े का एक सेट है। प्रत्येक जोड़ी फॉर्म (x, y) की है जैसे कि x, y सीमा से पूर्णांक के हैं [0,n)। तो, यदि n 4 है, तो मेरे पास निम्नलिखित जोड़े हैं: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) मेरे पास पहले से ही जोड़े हैं। अब, मुझे …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

रहे हैं कई तकनीकों साबित होता है कि एक भाषा है नहीं विषय से मुक्त है, लेकिन मैं कैसे साबित करते हैं कि एक भाषा है विषय से मुक्त? इसे साबित करने के लिए क्या तकनीकें हैं? जाहिर है, एक तरीका भाषा के लिए एक संदर्भ-मुक्त व्याकरण का प्रदर्शन करना …

26 formal-languages  context-free  formal-grammars  proof-techniques  reference-question 

मेरी समस्या यह है कि मैं कैसे साबित कर सकता हूं कि एक व्याकरण असंदिग्ध है? मेरे पास निम्नलिखित व्याकरण है: S→statement∣if expression then S∣if expression then S else SS→statement∣if expression then S∣if expression then S else SS → statement ∣ \mbox{if } expression \mbox{ then } S ∣ \mbox{if …

25 context-free  formal-grammars  proof-techniques  ambiguity 

EPAL, यहां तक ​​कि palindromes की भाषा, को निम्न अस्पष्ट संदर्भ-मुक्त व्याकरण द्वारा उत्पन्न भाषा के रूप में परिभाषित किया गया है: S→aaS→aaS \rightarrow a a S→bbS→bbS \rightarrow b b S→aSaS→aSaS \rightarrow a S a S→bSbS→bSbS \rightarrow b S b ईपीएएल कई पार्सिंग एल्गोरिदम का 'बैन' है: मुझे अभी तक …

23 formal-languages  formal-grammars  parsers 

औपचारिक व्याकरण देकर औपचारिक भाषाओं को निर्दिष्ट करना एक लगातार काम है: हमें न केवल भाषाओं का वर्णन करने के लिए, बल्कि उन्हें पार्स करने या उचित विज्ञान करने के लिए भी व्याकरण की आवश्यकता है । सभी मामलों में, यह महत्वपूर्ण है कि हाथ में व्याकरण सही है , …

22 formal-languages  formal-grammars  proof-techniques  reference-question 

यह प्रश्न सैद्धांतिक कंप्यूटर विज्ञान स्टैक एक्सचेंज से माइग्रेट किया गया था क्योंकि इसका उत्तर कंप्यूटर साइंस स्टैक एक्सचेंज पर दिया जा सकता है। 7 साल पहले पलायन कर गए । मैं गणितीय सिद्धांतों की तलाश कर रहा हूं जो सामान्य रूप से औपचारिक भाषा (तार के सेट) का वर्णन …

22 formal-languages  formal-grammars 

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

20 formal-grammars  compilers  left-recursion 

आइए दो संदर्भ-मुक्त व्याकरणों और पर विचार करें और निम्नलिखित प्रश्न पूछें: क्या , यानी दो व्याकरण समान हैं?जी1जी1G_1जी2जी2G_2एल ( जी)1) = एल ( जी2)एल(जी1)=एल(जी2)L(G_1) = L(G_2) सामान्य तौर पर, यह समस्या अनिर्दिष्ट है। हालाँकि, यदि और दोनों बाएँ-रैखिक (या दाएँ-रैखिक) व्याकरण हैं, तो समस्या विकट है, क्योंकि दोनों व्याकरण …

19 formal-languages  context-free  formal-grammars 

इस विकिपीडिया लेख के अनुसार , अप्रतिबंधित व्याकरण ट्यूरिंग मशीनों के बराबर है। लेख नोट करता है कि मैं किसी भी ट्यूरिंग मशीन को अप्रतिबंधित व्याकरण में परिवर्तित कर सकता हूं, लेकिन यह केवल दिखाता है कि व्याकरण को ट्यूरिंग मशीन में कैसे बदला जाए। मैं वास्तव में ऐसा कैसे …

19 formal-grammars  turing-machines  simulation 

क्या एक संदर्भ-मुक्त व्याकरण में एक ऑटोमेटन से "मृत अवस्थाएं" शामिल हो सकती हैं, जैसे कि G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G = \big(\{a, b, c\}, \{A, B, C\}, \{A\to aB, B\to b, B\to C, C\to cC\}, A\big)\,? उत्पादन नियम और सी → सी सी हमेशा के लिए लूप करेंगे और कभी भी एक शब्द …

18 context-free  automata  formal-grammars