fl.formal-languages पर टैग किए गए जवाब

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

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

क्या कोई व्यक्ति दो समान (समान भाषा को पहचानते हुए) न्यूनतम गैर-नियतात्मक ऑटोमेटा (एनएफए) का उदाहरण प्रदान कर सकता है जो आइसोमॉर्फिक नहीं हैं?

12 fl.formal-languages  automata-theory 

कहो एक एक भाषा है , लेकिन एक नहीं जानता है कि क्या वास्तव में तार भाषा का हिस्सा हैं। सभी एक है भाषा की एक निश्चित दृश्य है: तार के एक परिमित सेट एक ⊆ एल उस भाषा में जाना जाता है, और तार के एक परिमित सेट बी …

12 cc.complexity-theory  fl.formal-languages  automata-theory 

मैं निम्नलिखित गुणों के साथ एक भाषा L की तलाश में हूं: L को संदर्भ-मुक्त नहीं होना चाहिए। L का पूरक संदर्भ-मुक्त नहीं होना चाहिए। (पाठ्यपुस्तकों में आप जो कुछ भी देखते हैं, गैर-संदर्भ-मुक्त भाषाओं के प्रमुख उदाहरण इस दूसरी आवश्यकता को विफल करते प्रतीत होते हैं।) एल बहुत कठिन …

12 fl.formal-languages  automata-theory 

यह शायद बहुत सरल है, लेकिन मानक पोस्ट पत्राचार समस्या पर विचार करें: दिए गए और , सूचकांकों जैसे कि एक क्रम पाते हैं। । यह, निश्चित रूप से, अविश्वसनीय है।बीटा 1 , ... , बीटा एन मैं 1 , ... , मैं कश्मीर अल्फा मैं 1 ⋯ अल्फा मैं …

12 computability  fl.formal-languages 

मैंने इस सवाल को स्टैवेरोफ़्लो से स्थानांतरित किया जहां आईडी को कोई जवाब नहीं मिला। हमारे पास एक समान सवाल था कि क्या JSON नियमित है : JSON और XML दोनों को अक्सर संदर्भ-मुक्त भाषा कहा जाता है - ये दोनों मुख्य रूप से EBNF में एक औपचारिक व्याकरण द्वारा …

12 fl.formal-languages 

यह सर्वविदित है कि 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 

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

11 fl.formal-languages  automata-theory  prefix-free-code  nfa 

बता दें कि एक भाषा है और दो गुणों पर एक फंक्शन है जिसमें संपत्ति के साथ सभी और , एक तत्व देता है। यदि केवल और यदि और दोनों तत्व हैं :LLLf:Σ⋆×Σ⋆→Σ⋆f:Σ⋆×Σ⋆→Σ⋆f\colon {\Sigma^\star}\times\Sigma^\star\to\Sigma^\starxxxyyyfffLLLxxxyyyLLL f(x,y)∈L⟺x∈L∧y∈L.f(x,y)∈L⟺x∈L∧y∈L.f(x,y)\in L \iff x\in L\wedge y\in L . प्रश्न क्या ऐसे कार्यों का साहित्य में कोई …

11 reference-request  fl.formal-languages 

एक वेक्टर अलावा सिस्टम (वीएएस) के एक परिमित सेट है कार्रवाई । का सेट है निशान । एक रन मार्किंग का एक खाली-खाली शब्द है st । इस तरह के एक शब्द मौजूद है, तो हम कहते हैं कि है पहुँच में से ।एक ⊂ जेड डी एन डी एम …

11 fl.formal-languages  decidability 

निम्नलिखित समस्या पर विचार करें: दो तार x, y को देखते हुए, यह तय करें कि क्या कोई स्ट्रिंग होमोमोर्फिज्म f मौजूद है जैसे कि f (x) = y। यह दिखाना आसान है कि यह समस्या । क्या इस समस्या के बारे में हम कुछ और बातें कह सकते हैं? …

11 cc.complexity-theory  reference-request  fl.formal-languages 

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

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

EDIT (तारा बी द्वारा): मुझे अभी भी इस बात के प्रमाण के संदर्भ में दिलचस्पी होगी , क्योंकि मुझे इसे स्वयं अपने कागज के लिए साबित करना था। मैं इस पेपर में दिखाई देने वाले प्रमेय 4 के प्रमाण की तलाश कर रहा हूँ: लियू और वेनेर द्वारा प्रसंग-मुक्त भाषाओं …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice 

यह सवाल हाल ही में जेनोमा के एक सवाल से संबंधित है । पृष्ठभूमि बाधा प्रोग्रामिंग में, एक नियमित रूप से वैश्विक बाधा एक डोमेन पर एक जोड़ी है के साथ चर का एक टपल (गुंजाइश) और एक DFA डोमेन पर । एक काम को संतुष्ट अगर स्ट्रिंग को स्वीकार …

11 co.combinatorics  fl.formal-languages  automata-theory  regular-language 

निम्नलिखित समस्या निर्णायक है: एक संदर्भ-मुक्त व्याकरण को देखते हुए , ?GGGL(G)=∅L(G)=∅L(G) = \varnothing निम्नलिखित समस्या अनिर्दिष्ट है: एक संदर्भ-मुक्त व्याकरण को देखते हुए , ?GGGL(G)=A∗L(G)=A∗L(G) = A^{\ast} वहाँ के विषय से मुक्त भाषाओं एक लक्षण वर्णन है डिसाइडेबल समानता के साथ ?MMML(G)=ML(G)=ML(G) = M

11 computability  fl.formal-languages