context-free पर टैग किए गए जवाब

हमने संदर्भ-मुक्त भाषाओं के वर्ग CFLCFL\mathrm{CFL} । यह संदर्भ-मुक्त व्याकरण और पुशडाउन ऑटोमेटा दोनों की विशेषता है, इसलिए यह दिखाना आसान है कि एक दी गई भाषा संदर्भ-मुक्त है। हालांकि, मैं इसके विपरीत कैसे दिखाऊं? मेरा टीए इस बात पर अड़ा हुआ है कि ऐसा करने के लिए, हमें सभी …

88 formal-languages  context-free  proof-techniques  reference-question 

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

43 formal-languages  context-free 

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

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 

निम्नलिखित भाषा संदर्भ मुक्त है? L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ 0,1 \}^+, |u| = |v|, u \neq v, |x| = |y|, x \neq y\} जैसा कि sdcvvc द्वारा बताया गया है, इस भाषा में एक शब्द को एक ही लंबाई के दो शब्दों के मिलन के रूप …

26 formal-languages  context-free  pushdown-automata  pumping-lemma  open-problem 

मेरी समस्या यह है कि मैं कैसे साबित कर सकता हूं कि एक व्याकरण असंदिग्ध है? मेरे पास निम्नलिखित व्याकरण है: 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 

एक संदर्भ-मुक्त व्याकरण G को देखते हुए, एक Nondeterministic Pushdown Automaton N मौजूद है जो भाषा को बिल्कुल स्वीकार करता है। (और वीज़ा वर्सा) वहाँ भी एक निर्धारक Pushdown Automaton D मौजूद हो सकता है जो भाषा G को भी स्वीकार करता है। यह व्याकरण पर निर्भर करता है। जी …

22 automata  context-free  pushdown-automata 

गणना के मशीन मॉडल पर विचार करते समय, चॉम्स्की पदानुक्रम को आमतौर पर (क्रम में), परिमित ऑटोमेटा, पुश-डाउन ऑटोमेटा, रैखिक बाध्य ऑटोमेटा और ट्यूरिंग मशीनों द्वारा विशेषता दी जाती है। पहले और आखिरी स्तर 1 (नियमित भाषा और पुनरावर्ती रूप से सुगम भाषाएं) के लिए, यह मॉडल की शक्ति पर …

21 formal-languages  computability  context-free  computation-models  context-sensitive 

संदर्भ-मुक्त भाषाएं पूरक के तहत बंद नहीं हैं, हम जानते हैं कि। जहां तक मैं समझता हूँ, विषय से मुक्त करने वाली भाषाएं का एक सबसेट है a∗b∗a∗b∗a^*b^* कुछ पत्र के लिए a,ba,ba,b पूरक के तहत बंद हो जाती हैं (!?) यहाँ मेरा तर्क है। प्रत्येक सीएफ भाषा LLL एक …

20 formal-languages  reference-request  context-free  closure-properties 

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

19 formal-languages  context-free  formal-grammars 

क्या एक संदर्भ-मुक्त व्याकरण में एक ऑटोमेटन से "मृत अवस्थाएं" शामिल हो सकती हैं, जैसे कि 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 

क्या यह परीक्षण करने के लिए एक एल्गोरिथ्म / व्यवस्थित प्रक्रिया है कि क्या कोई भाषा संदर्भ-मुक्त है? दूसरे शब्दों में, बीजीय रूप में निर्दिष्ट भाषा को देखते हुए ( ) के बारे में सोचें , परीक्षण करें कि भाषा संदर्भ-मुक्त है या नहीं । कल्पना करें कि हम अपने …

18 algorithms  formal-languages  context-free  decision-problem 

अगर यह भी संभव है, के बाद से मैं सोच रहा हूँ {anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL} । इसलिए एक पीडीए है कि एक शब्द भेद कर सकते हैं w∈{anbncn∣n≥0}w∈{anbncn∣n≥0}w\in\{a^n b^n c^n \mid n \geq 0\} के बाकी हिस्सों से {a∗b∗c∗}{a∗b∗c∗}\{a^*b^*c^*\} के साथ-साथ, इसे स्वीकार हो …

16 formal-languages  automata  context-free  pushdown-automata