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

নিম্নলিখিত সমস্যাটি স্থিতিশীল কিনা এবং কীভাবে তা সন্ধান করতে পারি তা জানতে চাই। আমি যে প্রতিটি সমস্যা দেখি আমি এটিকে "হ্যাঁ" বা "না" বলতে পারি, তাই বেশিরভাগ সমস্যা এবং অ্যালগরিদমগুলি কয়েকটি (যা এখানে সরবরাহ করা হয়েছে ) বাদে সিদ্ধান্ত গ্রহণযোগ্য ? ইনপুট: একটি পরিচালিত সসীম গ্রাফ , সঙ্গে বনাম এবং …

17 algorithms  computability  graph-theory  undecidability 

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

16 computability  turing-machines  undecidability  computation-models 

দুটি পুশডাউন অটোমেটন একই ভাষা স্বীকৃতি দেয় কিনা তা অনস্বীকার্য। কোনও পুশডাউন অটোমেটন খালি ভাষা স্বীকৃতি দেয় কিনা তা সমস্যাযুক্ত, তাই এটি প্রদত্ত সীমাবদ্ধ ভাষা স্বীকৃতি দেয় কিনা তাও নির্ধারণযোগ্য। এটি পুশডাউন অটোমেটনের দ্বারা গৃহীত ভাষাটি নিয়মিত কিনা তা অনস্বীকার্য। তবে ... ... এটি কি সিদ্ধান্ত নেওয়া যায় যে কোনও …

16 computability  undecidability  pushdown-automata 

লিনিয়ার বাউন্ডেড অটোমেটার (খালি সেট ভাষার কৌশলটি এড়ানো) এর অনস্বীকার্য বৈশিষ্ট্যগুলি কী আছে? একটি নির্বাহী সসীম অটোমেটনের জন্য কী? (অক্ষমতার পাশে রাখুন)। আমি ট্যুরিং মেশিনগুলি স্পষ্টভাবে ব্যবহার না করে সংজ্ঞায়িত একটি অনস্বীকার্য সমস্যার একটি উদাহরণ (সম্ভব হলে) পেতে চাই would অসম্পৃক্ত সমস্যাগুলিকে সমর্থন করার জন্য কি কোনও মডেলটির সম্পূর্ণতার প্রয়োজন?

15 computability  automata  undecidability 

এটি জানা যায় যে 0 এবং 1 সমান সংখ্যক শব্দের ভাষা নিয়মিত নয়, তবে 001 এবং 100 এর সমান সংখ্যাযুক্ত শব্দের ভাষা নিয়মিত ( এখানে দেখুন )। , দুটি শব্দ দেওয়া হয়েছে কি এবং 3 এর সমান সংখ্যক শব্দের ভাষা নিয়মিত থাকলে তা কি নেওয়া যায়?ডাব্লু 1 , ডাব্লু 2 …

14 regular-languages  undecidability 

আমি সমাধান করার চেষ্টা করছি একটি পুরানো পরীক্ষা থেকে এই প্রশ্নগুলি আছে। প্রতিটি সমস্যার জন্য, ইনপুটটি কিছু টুরিং মেশিন এনকোডিং ।MMM পূর্ণসংখ্যা এবং নিম্নলিখিত তিনটি সমস্যার জন্য:c>1c>1c>1 এটা কি সত্য জন্য প্রতি ইনপুট যে , এম পাস না অবস্থান যখন চলমান ?xxx|x|+c|x|+c|x|+cxxx এটা কি সত্য যে জন্য যে ইনপুট , …

14 computability  turing-machines  undecidability 

আমি ভাবছি কিভাবে নীচের ভাষাটি ।আরআর\mathrm R এলএম1= { ⟨ এম2⟩||এম2 একটি টিএম, এবং এল ( এম)1) = এল ( এম2) , এবং | । এম1⟩ | > | । এম2⟩ | }এলএম1={⟨এম2⟩|এম2 একটি টিএম, এবং এল(এম1)=এল(এম2), এবং |⟨এম1⟩|>|⟨এম2⟩|}L_{M_1}=\Bigl\{\langle M_2\rangle \;\Big|\;\; M_2 \text{ is a TM, and } L(M_1)=L(M_2), \text{ …

14 computability  undecidability 

অনেকগুলি "বিখ্যাত" অনস্বীকার্য সমস্যা তবুও কমপক্ষে সেমিডেসিডেবল, তাদের পরিপূরকগুলি অনিবার্য হয়ে ওঠে। সর্বোপরি একটি উদাহরণ হোল্ডিং সমস্যা এবং এর পরিপূরক হতে পারে। তবে, কেউ কি আমাকে এমন উদাহরণ দিতে পারবেন যাতে সমস্যা এবং এর পরিপূরক উভয়ই অনস্বীকার্য এবং সেমিডেসিডেবল নয়? আমি তির্যক ভাষা এলডি সম্পর্কে ভেবেছিলাম, তবে পরিপূরকটি অনির্বাচিত বলে …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

আমি ভাবছি সমস্যার সিদ্ধান্ত গ্রহণযোগ্যতা সিদ্ধান্ত গ্রহণ করা যদি একটি সিদ্ধান্ত গ্রহণযোগ্য সমস্যা হয়। আমি অনুমান করছি না, তবে প্রাথমিক অনুসন্ধানের পরেও আমি এই সমস্যার কোনও সাহিত্য খুঁজে পাচ্ছি না।

13 computability  undecidability  decision-problem 

আমি উইকিপিডিয়া এবং অন্য কিছু গ্রন্থে পড়েছি যে থামানো সমস্যা হ'ল [...] সীমাবদ্ধ স্মৃতিযুক্ত রৈখিক বাউন্ডেড অটোমাতা (এলবিএ) [এবং] নির্মাতারা মেশিনগুলির জন্য সিদ্ধান্ত গ্রহণযোগ্য। তবে এর আগে এটি লেখা হয়েছিল যে থামানো সমস্যা একটি অনস্বীকার্য সমস্যা এবং এভাবে টিএম এটি সমাধান করতে পারে না! যেহেতু এলবিএকে এক ধরণের টিএম হিসাবে …

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

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

12 formal-grammars  turing-machines  undecidability  context-sensitive 

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

12 formal-languages  undecidability  closure-properties 

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

12 turing-machines  undecidability  halting-problem 

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

11 computability  turing-machines  undecidability  physics 

দুঃখিত, এই প্রশ্নের যদি কিছু তুচ্ছ উত্তর থাকে যা আমি মিস করছি। আমি যখনই এমন কিছু সমস্যা অধ্যয়নযোগ্য হিসাবে প্রমাণিত হয়েছি তা অধ্যয়ন করি, তখন আমি পর্যবেক্ষণ করি যে প্রমাণটি অন্য সমস্যার ক্ষেত্রে হ্রাসের উপর নির্ভর করে যা অনিবার্য প্রমাণিত হয়েছে। আমি বুঝতে পারি যে এটি কোনও সমস্যার অসুবিধার মাত্রার …

11 computability  reductions  undecidability