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

उन शर्तों की एक सूची एकत्र करना अच्छा होगा जो एक संदर्भ-मुक्त भाषा एल नियमित है, अर्थात फॉर्म की शर्तें: "यदि किसी दिए गए सीएफजी / पीडीए में संपत्ति पी है, तो उसकी भाषाएं नियमित हैं" प्रॉपर्टी P में नियमित भाषा बनाने वाले CFG की विशेषता नहीं है। इसके अलावा, …

14 reference-request  fl.formal-languages  regular-language  context-free  survey 

निम्नलिखित प्राकृतिक प्रश्न पर विचार करें: एक परिमित भाषा को देखते हुए , L को उत्पन्न करने वाला सबसे छोटा संदर्भ-मुक्त व्याकरण क्या है ?LLLLLL हम भाषाओं के एक अनुक्रम को निर्दिष्ट करके प्रश्न को और अधिक रोचक बना सकते हैं , उदाहरण के लिए L n { 1 , …

14 reference-request  fl.formal-languages  lower-bounds  grammars  context-free 

हाल के प्रश्न को पढ़ने के बाद "के पूरक है {www∣...}{www∣...}\{ www \mid ...\} विषय से मुक्त?" ; मुझे याद है कि मैं एक ऐसी ही समस्या को याद नहीं कर पा रहा था: है L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L = \{ ww' \mid w,w' \in \{0,1\}^* \land |w|=|w'| \land HamDist(w,w')>1 \} संदर्भ मुक्त? …

13 fl.formal-languages  context-free 

मैं सभी संतोषजनक प्रस्तावक तर्क सूत्रों की भाषा पर विचार कर रहा हूँ, SAT (यह सुनिश्चित करने के लिए कि यह एक परिमित वर्णमाला है, हम कुछ उपयुक्त तरीके से प्रस्ताव पत्र सांकेतिक शब्दों में बदलना होगा [संपादित करें: उत्तरों ने कहा कि प्रश्न के उत्तर के तहत मजबूत नहीं …

12 cc.complexity-theory  circuit-complexity  sat  context-free 

ग्रीबाच ने प्रसिद्ध रूप से एक भाषा परिभाषित किया है , जो तथाकथित nondeterministic संस्करण है , जैसे कि कोई भी CFL, की प्रतिलोम आकृति है । क्या डीसीएफएल के साथ एक समान बयान मौजूद है, संभवतः अनुमति दिए गए आकार पर कुछ प्रतिबंध के साथ?HHHD2D2D_2HHH (देखें, उदाहरण के लिए, …

12 fl.formal-languages  open-problem  context-free  nondeterminism  hard-instances 

डाइक भाषाएँ को निम्नलिखित व्याकरण के सेट पर । सहज रूप से डाइक भाषाएँ विभिन्न प्रकार के के संतुलित कोष्ठक की भाषाएँ हैं । उदाहरण के लिए, में है लेकिन नहीं है।S → S SDyck(k)Dyck(k)\mathsf{Dyck}(k){ ( 1 , ... , ( कश्मीर , ) 1 , ... , ) कश्मीर …

12 reference-request  fl.formal-languages  circuit-complexity  ho.history-overview  context-free 

यह सर्वविदित है कि of का पूरक संदर्भ-मुक्त है। लेकिन \ {www \ mid w \ in \ सिग्मा ^ * \} के पूरक के बारे में क्या ?{ww∣w∈Σ∗}{ww∣w∈Σ∗}\{ ww \mid w\in \Sigma^*\}{www∣w∈Σ∗}{www∣w∈Σ∗}\{ www \mid w\in \Sigma^*\}

12 fl.formal-languages  context-free 

मैं निम्नलिखित दावों को सच समझता हूं: किसी दिए गए CFG में एक स्ट्रिंग के दो अलग-अलग व्युत्पन्न कभी-कभी स्ट्रिंग के लिए एक ही पार्स ट्री को विशेषता दे सकते हैं। जब किसी दिए गए CFG में कुछ स्ट्रिंग के व्युत्पन्न होते हैं जो अलग-अलग पार्स पेड़ों को विशेषता देते …

11 fl.formal-languages  regular-language  context-free 

एक नंबर दिया जाए। निम्नलिखित भाषा पर विचार करें L n = {nnn ।एलn= {डब्ल्यू डब्ल्यू|डब्ल्यू ∈ { 0 , 1 }n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} शब्दों में, लंबाई 2 n के कॉपी स्ट्रिंग का सेट है ।एलnLnL_n2 एन2n2n पर विचार करें …

10 fl.formal-languages  automata-theory  grammars  context-free 

क्या गणितीय विश्लेषण, निरंतर गणित का उपयोग करके औपचारिक भाषाओं की समस्याओं को हल करने पर कुछ परिणाम हैं। उदाहरण के लिए, एक संदर्भ-मुक्त भाषा और एक नियमित भाषा के लिए अंतर-शून्यता समस्या को हल करना।

9 fl.formal-languages  automata-theory  context-free 

वर्णमाला पर एक मनमाना संदर्भ-मुक्त व्याकरण पर विचार करें । इस व्याकरण की प्रस्तुतियों के लिए, दो निश्चित गैर-संदर्भ-मुक्त प्रोडक्शंस जोड़ें : और । जिसके परिणामस्वरूप व्याकरण कॉल के लिए "खड़े प्रस्तुतियों के साथ संवर्धित "।जीGG{ 0 , 1 ,0¯¯¯,1¯¯¯}{0,1,0¯,1¯}\lbrace 0,1,\overline{0} ,\overline{1} \rbraceपीPP0¯¯¯0 → ϵ0¯0→ϵ\overline{0} 0 \rightarrow \epsilon1¯¯¯1 → ϵ1¯1→ϵ\overline{1} …

9 context-free  decidability 

सभी CFG में अस्पष्ट CFG का अनुपात क्या है ? चूंकि दोनों सेट समान रूप से अनंत हैं, इसलिए अनुपात अच्छी तरह से परिभाषित नहीं है। लेकिन असममित घनत्व के बारे में क्या : लिमn ↦ ∞# अस्पष्ट सीजीजी आकार का < n# आकार का CFG < nलिमn↦∞# आकार का …

9 fl.formal-languages  grammars  context-free 

मैं जानना चाहूंगा कि संदर्भ-मुक्त भाषाओं की मान्यता के लिए केवल गैर-नियतात्मक पुश-डाउन ऑटोमेटा (डीपीए = एनपीडीए) काम क्यों नहीं करता है। नियतात्मक पुश-डाउन ऑटोमेटा (DPDA) ऐसी भाषाओं को क्यों नहीं पहचानता है?

9 fl.formal-languages  automata-theory  context-free 

क्या वहाँ मौजूद है क्रमपरिवर्तन π1,π2π1,π2\pi_1,\pi_2 और बहुपद आकार (में) |w|=n|w|=n|w|=n) संदर्भ मुक्त व्याकरण जो परिमित भाषा का वर्णन करता है{wπ1(w)π2(w)}{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\} वर्णमाला के ऊपर {0,1}{0,1}\{0,1\}? अद्यतन: एक क्रमचय के लिए ππ\pi यह संभव है। ππ\pi उत्क्रमण का उलटा या अपेक्षाकृत मामूली संशोधन है।

9 fl.formal-languages  grammars  context-free