প্রশ্ন ট্যাগ «halting-problem»

কমপক্ষে আমার নিজস্ব রেফারেন্স পাঠ্যপুস্তকে (হপক্রফ্ট + উলম্যান 1979) টিউরিং মেশিনের (টিএম) প্রাথমিক সংজ্ঞাটি হ'ল ডিস্ট্রিমেন্টিক। তাই থামার সমস্যাটি সম্পর্কে আমার নিজের বোঝাপড়াটি মূলত ডিটারমিনিস্টিক টিএম এর জন্য, যদিও আমি সচেতন যে এটি অন্যান্য ধরণের অটোমেটার জন্য বিবেচিত হতে পারে। আমি আরও লক্ষ্য করেছি যে স্থিরতাবাদ প্রায়শই টিএম বা থামানো …

18 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata 

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

17 computability  reference-request  turing-machines  halting-problem 

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

15 turing-machines  halting-problem  church-turing-thesis  hypercomputation 

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

14 algorithms  reductions  halting-problem 

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

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

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

12 computability  halting-problem 

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

12 turing-machines  undecidability  halting-problem 

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

11 computability  undecidability  halting-problem  oracle-machines 

আমি থামার সমস্যাটি ত্রি-প্রতীক এক-মাত্রিক সেলুলার অটোম্যাটার জন্য স্থিতিশীল কিনা তা নির্ণয় করার চেষ্টা করছি। সংজ্ঞা আসুন সময় পদে পদে সিস্টেমের কনফিগারেশন বোঝাতে । আরও আনুষ্ঠানিকভাবে , যেখানে বর্ণমালা।f(w,i)f(w,i)f(w,i)iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times \mathbb{N} \to A^*AAA সংজ্ঞা। একটি সেলুলার অটোমেটন কনফিগারেশনে বন্ধ হয়ে গেছে , যদি আমাদের কাছে ।f(w,i)f(w,i)f(w,i)∀k∈N∀k∈N\forall k\in \mathbb{N}f(w,i)=f(w,i+k)f(w,i)=f(w,i+k)f(w,i)=f(w,i+k) প্রদত্ত সেলুলার অটোমেটনের …

10 computability  decision-problem  halting-problem  cellular-automata 

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

10 computability  undecidability  halting-problem 

চৈতিনের মেটা মঠে! ওমেগা দ্য কোয়েস্টে তিনি হিলবার্টের দশম সমস্যা নিয়ে সংক্ষেপে কথা বলেছেন। তারপরে তিনি বলেছিলেন যে কোনও ডায়োফানটাইন সমীকরণ ধনাত্মক পূর্ণসংখ্যার সহগ সহ দুটি সমান পরিবর্তিত হতে পারে: ।পি = 0পি = 0p=0p=0পি = 0⟺পি1= পি2p=0⟺p1=p2p=0 \iff p_1 = p_2 তারপরে তিনি বলেছেন যে আমরা এই কম্পিউটারগুলি "কম্পিউটার" …

10 logic  halting-problem 

এই সাইটে টিএমএস থামিয়ে দেওয়া সমস্যাটি স্থির করতে পারে কিনা, অন্যান্য সমস্ত টিএম বা নির্দিষ্ট উপগ্রহের ক্ষেত্রে কিনা সে প্রশ্নে অনেকগুলি রূপ রয়েছে। এই প্রশ্নটি কিছুটা আলাদা। এটি জিজ্ঞাসা করছে যে থামার সমস্যাটি সমস্ত টিএম এর ক্ষেত্রে প্রযোজ্য কিনা তা কোনও টিএম দ্বারা সিদ্ধান্ত নেওয়া যেতে পারে। আমি বিশ্বাস করি …

9 computability  turing-machines  undecidability  halting-problem 

এই সমস্যাটি থামার সমস্যাটি সম্পর্কে আমার কাছে এসেছিল এবং কেউ অনলাইনে সহায়তা করতে পারে কিনা তা ভেবে আমি অনলাইনে একটি ভাল উত্তর পাই না। ইনপুটটি টিএমটি নিজেই না হয়ে থাকায় কোনও আউটপুটটিতে কোনও টিএম-এর পক্ষে থমকে থাকা সমস্যাটি স্থিতিশীল? মূলত: Halts(TM, I) IF TM == I: Undecidable, return a random …

9 computability  undecidability  halting-problem