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

मैं स्नातक गणित की बड़ी कंपनियों के उद्देश्य से एक वार्ता की तैयारी कर रहा हूं, और इसके हिस्से के रूप में, मैं निर्णायक क्षमता की अवधारणा पर चर्चा कर रहा हूं। मैं एक ऐसी समस्या का उदाहरण देना चाहता हूं, जिसे हम वर्तमान में निर्णायक या अनिर्दिष्ट नहीं जानते …

92 computability  decidability 

यदि कोई ट्यूरिंग मशीनों को एक सीमित टेप (यानी बंधी हुई जगह का उपयोग करने के लिए ) को प्रतिबंधित करता है , तो हॉल्टिंग की समस्या निर्णायक है, अनिवार्य रूप से क्योंकि कई चरणों के बाद (जो राज्यों की संख्या से गणना की जा सकती है , और , …

33 turing-machines  decidability 

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

24 reference-request  co.combinatorics  decidability  undecidability 

यह सर्वविदित है कि समतुल्यता समस्या सामान्य संदर्भ-मुक्त भाषाओं के लिए अनिर्दिष्ट है। हालांकि, इस तथ्य के सभी प्रमाण हैं कि मुझे कुछ अस्पष्ट संदर्भ-मुक्त व्याकरणों को शामिल करने के बारे में पता है। इस कारण से, मैं यह पूछना चाहता हूं कि क्या यह ज्ञात है कि क्या समस्या …

19 fl.formal-languages  grammars  context-free  decidability  undecidability 

मैं निम्नलिखित समस्या में दिलचस्पी रखता हूं: पूर्णांक matrices यह तय कि क्या इन मैट्रिक्स का प्रत्येक अनंत उत्पाद अंततः शून्य मैट्रिक्स के बराबर है।A1,A2,…,AkA1,A2,…,AkA_1,A_2, \ldots, A_k इसका मतलब है कि आप जैसा सोचते हैं वैसा ही करते हैं: हम कहेंगे matrices का सेट पास वह संपत्ति है जिसके सभी …

19 linear-algebra  decidability 

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

18 fl.formal-languages  decidability 

मैं एक विशेष समस्या को हल करने की कोशिश कर रहा हूं, और मैंने सोचा कि मैं इसे ऑटोमेटा सिद्धांत का उपयोग करके हल करने में सक्षम हो सकता हूं। मैं सोच रहा हूँ, बहुपद समय में ऑटोमेटा के कौन से मॉडल निर्णायक हैं? यानी अगर आप मशीन है आप …

18 fl.formal-languages  automata-theory  time-complexity  polynomial-time  decidability 

मुझे पता है कि अनपेक्षित लैम्ब्डा कैलकुलस के लिए -असमानता तय करना असंभव है। बारटेंग्रेट, एचपी द लैंबडा कैलकुलस का हवाला देते हुए : इसका सिंटैक्स और शब्दार्थ। नॉर्थ हॉलैंड, एम्स्टर्डम (1984)। :ββ\beta यदि A और B असंतुष्ट हैं, लैम्ब्डा शब्दों के गैर-रिक्त सेट जो समानता के तहत बंद हैं, …

18 lo.logic  computability  lambda-calculus  normalization  decidability 

सबसे सरल कम्प्यूटेशनल मॉडल क्या है जिसके लिए शून्यता की समस्या अनिर्दिष्ट है? एक कम्प्यूटेशनल मॉडल के लिए शून्यता समस्या (जैसे परिमित राज्य ऑटोमेटन, एकांतर पुशडाउन ऑटोमेटन, एक काउंटर, नियतात्मक एलबीए, आदि के साथ बाउंड-एरर क्वांटम ऑटोमेटन), यह निर्धारित करना है कि क्या इस तरह की मशीन के लिए, भाषा …

12 computability  decidability  undecidability  unary-languages 

से कार्यों की वृद्धि दर की तुलना की निर्णायकता की ज्ञात सीमाएँ क्या हैं ? मैं यहाँ " जैसे प्रश्नों की निर्णायकता के बारे में सोच रहा हूँ ?" या " ?"।एन → एनN→N\mathbb{N} \to \mathbb{N}एक्सएक्स∼ २G x lg( x + 2 ) ⌋एक्सएक्स~2⌊एक्सएलजी⁡(एक्स+2)⌋x^x \sim 2^{\lfloor x \lg (x+2) \rfloor}2एलजी*एक्सG …

12 decidability  asymptotics 

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

11 fl.formal-languages  decidability 

उत्तर: ज्ञात नहीं है उन सभी के लिए बहुत धन्यवाद जिन्होंने इस प्रश्न और इससे जुड़ी परिभाषाओं को परिष्कृत करने में मदद की। इस विकी की परिभाषाओं ने अधिक हालिया टीसीएस विकी के लिए शुरुआती बिंदु प्रदान किया " क्या पी में ऐसी भाषाएं हैं जिनका अस्तित्व पीए या जेडएफसी …

11 cc.complexity-theory  complexity-classes  turing-machines  decidability 

रॉबर्टसन-सेमुर प्रमेय का कहना है कि किसी भी लघु-बंद परिवारजीG\mathcal G रेखांकन कई निषिद्ध नाबालिगों द्वारा विशेषता हो सकती है। क्या एक एल्गोरिथ्म है जो एक इनपुट के लिए है जीG\mathcal G निषिद्ध नाबालिगों के लिए आउटपुट या क्या यह अनिर्दिष्ट है? जाहिर है, उत्तर इस बात पर निर्भर हो …

9 graph-theory  decidability  graph-minor 

वर्णमाला पर एक मनमाना संदर्भ-मुक्त व्याकरण पर विचार करें । इस व्याकरण की प्रस्तुतियों के लिए, दो निश्चित गैर-संदर्भ-मुक्त प्रोडक्शंस जोड़ें : और । जिसके परिणामस्वरूप व्याकरण कॉल के लिए "खड़े प्रस्तुतियों के साथ संवर्धित "।जी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 

ऐसी समस्याएं हैं जो निर्णायक हैं, कुछ ऐसे हैं जो अनिर्दिष्ट हैं, जिनमें अर्धविक्षिप्तता है, आदि। इस मामले में मुझे आश्चर्य है कि क्या कोई समस्या मेटा-अनिर्दिष्ट हो सकती है। इसका मतलब है (कम से कम मेरे सिर में) हम यह नहीं बता सकते हैं कि यह निर्णायक है या …

9 computability  decidability  undecidability