প্রশ্ন ট্যাগ «decidability»

আমি স্নাতক গণিতের মেজরদের উদ্দেশ্যে একটি আলোচনার জন্য প্রস্তুতি নিচ্ছি এবং এর অংশ হিসাবে আমি সিদ্ধান্ত গ্রহণের ধারণাটি নিয়ে আলোচনা করার বিষয়ে বিবেচনা করছি। আমি এমন একটি সমস্যার উদাহরণ দিতে চাই যা বর্তমানে আমরা সিদ্ধান্ত গ্রহণযোগ্য বা অগ্রহণযোগ্য হতে জানি না। এ জাতীয় অনেক সমস্যা রয়েছে তবে এখন পর্যন্ত কেউই …

92 computability  decidability 

যদি কেউ ট্যুরিং মেশিনগুলিকে একটি সীমাবদ্ধ টেপ (যেমন সীমিত স্পেস ব্যবহার করতে ) সীমাবদ্ধ করে , তবে থামার সমস্যাটি মূলত কারণ বেশ কয়েকটি পদক্ষেপের পরে (যা রাষ্ট্র, এবং সংখ্যা থেকে গণনা করা যেতে পারে) এবং বর্ণমালা আকার), একটি কনফিগারেশন পুনরাবৃত্তি করা আবশ্যক।এসSSএসপ্রশ্নঃQQএসSS অন্যান্য প্রাকৃতিক ট্যুরিং মেশিনের বিধিনিষেধগুলি কি থেমে যাওয়ার …

33 turing-machines  decidability 

আমি জানি যে কোনও টাইলসের সেট বিমানটি টাইল করতে পারে কিনা তা নির্ধারণ করা অযোগ্য, ওয়াং টাইলস ব্যবহার করে বার্গারের ফলস্বরূপ । আমার প্রশ্ন হ'ল কোনও একক প্রদত্ত টাইল বিমানটি টালি টানতে পারে কিনা তা নির্ধারণ করার জন্যও এটি অনস্বীকার্য বলে জানা গেছে কি , একটি মনোহেড্রাল টাইলিং। যদি এটি …

24 reference-request  co.combinatorics  decidability  undecidability 

এটি সর্বজনবিদিত যে সাধারণ প্রসঙ্গ-মুক্ত ভাষাগুলির জন্য সমতা সমস্যা অনস্বীকার্য। যাইহোক, এই বিষয়টির সমস্ত প্রমাণ যে সম্পর্কে আমি সচেতন সেগুলিতে কিছুটা অস্পষ্ট প্রসঙ্গ-মুক্ত ব্যাকরণ জড়িত বলে মনে হয়। এই কারণে, আমি নিজেকে জিজ্ঞাসা করতে চাই যে নিজেকে দ্ব্যর্থহীন প্রসঙ্গ-মুক্ত ভাষায় সীমাবদ্ধ করার সময় সমস্যাটি অনস্বীকার্য remains অর্থাত্, দুটি প্রাসঙ্গিক মুক্ত …

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

আমি নিম্নলিখিত সমস্যাটিতে আগ্রহী: প্রদত্ত পূর্ণসংখ্যার ম্যাট্রিক্স A1,A2,…,AkA1,A2,…,AkA_1,A_2, \ldots, A_k সিদ্ধান্ত নিয়েছে যে এই ম্যাট্রিকগুলির প্রতিটি অসীম পণ্য শেষ পর্যন্ত শূন্য ম্যাট্রিক্সের সমান হয় কিনা। এই উপায়ে ঠিক আপনি কি মনে করেন এটা আছে: আমরা বলবে ম্যাট্রিক্সের সেট {A1,…,Ak}{A1,…,Ak}\{A_1, \ldots, A_k\} সম্পত্তি যে তার পণ্য অবশেষে সমান শূন্য সব যদি …

19 linear-algebra  decidability 

এটি একটি সুপরিচিত ফলাফল যা প্রশ্ন একটি প্রসঙ্গমুক্ত ব্যাকরণ কি একটি নিয়মিত ভাষা উত্পন্ন করে? অনস্বীকার্য। তবে এটি অবিচ্ছিন্ন বর্ণমালার উপর নির্ভরযোগ্য হয়ে ওঠে, কেবলমাত্র এক্ষেত্রে, প্রসঙ্গমুক্ত এবং নিয়মিত ভাষার শ্রেণীর মিল রয়েছে। আমার প্রশ্নটি অযৌক্তিক প্রসঙ্গ-সংবেদনশীল ভাষার জন্য কী হয় তা জানতে । অবিচ্ছিন্ন বর্ণমালায় প্রদত্ত প্রসঙ্গ-সংবেদনশীল ব্যাকরণটি একটি …

18 fl.formal-languages  decidability 

আমি একটি নির্দিষ্ট সমস্যা সমাধানের চেষ্টা করছি, এবং আমি ভেবেছিলাম আমি অটোমাতা তত্ত্বটি ব্যবহার করে এটি সমাধান করতে সক্ষম হতে পারি। আমি ভাবছি, অটোমাতার কোন মডেলগুলির বহুগুণে কন্টেন্ট কনটেন্ট থাকে? অর্থাত্ আপনার যদি মেশিনগুলি আপনি দক্ষতার সাথে এল ( এম 1 ) ⊆ এল ( এম 2 ) পরীক্ষা করতে …

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 

থেকে ফাংশনগুলির বৃদ্ধির হারের তুলনা করার সিদ্ধান্ত গ্রহণের সীমাবদ্ধতাগুলি কী কী ? আমি এখানে মত প্রশ্ন decidability কথা ভাবছি "এ কি এক্স এক্স ~ 2 ⌊ এক্স এলজি ( এক্স + + 2 ) ⌋ ?" বা " 2 lg ∗ x ∈ O ( lg lg x ) ?"।N→NN→N\mathbb{N} …

12 decidability  asymptotics 

একটি ভেক্টর সংযোজন সিস্টেম (VAS) হ'ল ক্রিয়াকলাপগুলির একটি সীমাবদ্ধ সেট । সমীকরণ হল চিহ্ন । একটি রান হ'ল চিহ্নগুলির একটি খালি খালি শব্দ নয় stA⊂ZdA⊂ZdA \subset \mathbb{Z}^dNdNd\mathbb{N}^dm0m1…mnm0m1…mnm_0 m_1\dots m_n∀i∈{0,…,n−1},mi+1−mi∈A∀i∈{0,…,n−1},mi+1−mi∈A\forall i \in \{0, \dots, n-1\}, m_{i+1}-m_i \in A । এই ধরনের একটি শব্দ বিদ্যমান আমরা বলে যে যদি mnmnm_n হয় পৌঁছানো …

11 fl.formal-languages  decidability 

উত্তর: জানা নেই যারা এই প্রশ্ন এবং এর সাথে যুক্ত সংজ্ঞাগুলি সংশোধন করতে সহায়তা করেছেন তাদের সবাইকে অনেক ধন্যবাদ। এই উইকির সংজ্ঞাগুলি আরও সাম্প্রতিক টিসিএস উইকির জন্য প্রারম্ভিক বিন্দু সরবরাহ করেছিল " P কী ভাষাগুলি ধারণ করে যার অস্তিত্ব PA বা ZFC এর থেকে পৃথক? (টিসিএস সম্প্রদায় উইকি) "। সাম্প্রতিক …

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

রবার্টসন-সিমুর উপপাদ্য বলছেন যে কোনো ছোটখাট-বদ্ধ পরিবারGG\mathcal G গ্রাফের চূড়ান্তভাবে অনেক নিষিদ্ধ নাবালকের দ্বারা চিহ্নিত করা যেতে পারে। একটি ইনপুট জন্য একটি অ্যালগরিদম আছে কি? GG\mathcal G নিষিদ্ধ নাবালিকাকে আউটপুট দেয় বা এটি অনস্বীকার্য? স্পষ্টতই, উত্তরটি কীভাবে নির্ভর করবে GG\mathcal Gইনপুট বর্ণিত হয়। উদাহরণস্বরূপ, যদিGG\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। এই ব্যাকরণের উত্পাদনে, দুটি স্থির অ প্রসঙ্গ-মুক্ত-প্রযোজনা যুক্ত করুনপিPP: 0¯¯¯0 → ϵ0¯0→ϵ\overline{0} 0 \rightarrow \epsilon এবং 1¯¯¯1 → ϵ1¯1→ϵ\overline{1} 1 \rightarrow \epsilon। ফলাফল ব্যাকরণ কলজিপিGPG^P "জন্য দাঁড়িয়েজিGG প্রযোজনার সাথে সংযোজন পিPP"। ব্যাকরণ লাগে …

9 context-free  decidability 

এমন সমস্যা রয়েছে যা নির্ধারণযোগ্য, কিছু আছে যা অগ্রহণযোগ্য, সেমিডিসিডেবিলিটি ইত্যাদি রয়েছে এক্ষেত্রে আমি ভাবছি কোনও সমস্যা মেটা-অনস্বীকার্য হতে পারে কিনা। এর অর্থ (কমপক্ষে আমার মাথার মধ্যে) আমরা সিদ্ধান্ত নিতে পারব কিনা তা আমরা বলতে পারি না। হতে পারে এটি ডিশেবলিবিলিটি অনির্বাচিত (সবকিছুই মেটা-অবিঘ্নযোগ্য) এবং কোনও কিছুর জন্য ডিকিসিবেলিটি প্রমাণ …

9 computability  decidability  undecidability