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

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

9 computability  reversible-computing 

এই প্রশ্নটি পড়ার পরে " প্রাকৃতিক আরই অবিশ্বাস্য সমস্যা তবে নিরাময়-সম্পূর্ণ নয় " নিম্নলিখিত ভাষাটি আমার মনে এসেছে: যদি ব্যস্ত বিভার ফাংশন (একটি ফাঁকা টেপ শুরু করার সাথে উপরের বর্ণিত ধরণের সমস্ত প্রতীক 2-প্রতীক এন-রাষ্ট্র টুরিং মেশিনগুলির মধ্যে সর্বাধিক অর্জনযোগ্য স্কোর) থাকে তবে ফাংশনটি সংজ্ঞায়িত করুন:Σ(⋅)Σ(⋅)\Sigma(\cdot) BB(⟨M⟩)={10⟨M⟩ computes Σ(⋅) otherwiseBB(⟨M⟩)={1⟨M⟩ …

9 computability  turing-machines 

আমরা দুই ধরণের টাইল ব্যবহার করে টাইম স্কয়ার টাইল করতে চাই: স্কয়ার টাইল এবং স্কয়ার টাইল যাতে প্রতিটি অন্তর্নিহিত বর্গটি ওভারল্যাপিং ছাড়াই আচ্ছাদিত থাকে। আসুন আমরা একটি ফাংশন সংজ্ঞায়িত করি যা স্কোয়ার এবং স্পেসের যেকোন সংখ্যক ব্যবহার করে বৃহত্তম অনন্য টিলেবল স্কোয়ারের আকার দেয় ।m×mm×mm\times m1×11×11 \times 12×22×22 \times 2f(n)f(n)f(n)nnn …

9 computability  combinatorics 

গণনাযোগ্য সংখ্যা (টুরিং অর্থে) কেন গণনাযোগ্য? এটি অবশ্যই খুব সুস্পষ্ট হতে পারে তবে আমি বর্তমানে এটি দেখছি না।

9 computability  turing-machines  enumeration 

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

9 computability  turing-machines  reductions  simulation 

নিম্নলিখিত সমস্যাগুলির সাথে আমি আপনার সহায়তাটি ব্যবহার করতে চাই: এল = { ⟨ এম⟩ | এল ( এম) প্রসঙ্গমুক্ত }L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \}। দেখানল ∉ আর ই। সিও আর ইL∉RE∪CoREL \notin RE \cup CoRE। আমি প্রমাণ করতে জানি ল ∉ আর ইL∉REL\notin RE, এটি একটি …

9 formal-languages  computability  context-free  turing-machines 

মধ্যবর্তী সময়ে নিম্নলিখিত প্রশ্নের একটি বৈকল্পিক ছিল: একটি সিদ্ধান্তগ্রহণযোগ্য জন্য LLL নির্ধারণ করা Pref(L)={x∣∃y s.t. xy∈L}Pref(L)={x∣∃y s.t. xy∈L}\text{Pref}(L) = \{ x \mid \exists y \text{ s.t. } xy \in L\} দেখান Pref(L)Pref(L)\text{Pref}(L) অগত্যা সিদ্ধান্ত গ্রহণযোগ্য নয়। তবে আমি যদি নির্বাচন করি L=Σ∗L=Σ∗L=\Sigma^* তাহলে আমার মনে হয় Pref(L)Pref(L)\text{Pref}(L) হয় Σ∗Σ∗\Sigma^*এইভাবে সিদ্ধান্ত …

9 computability  undecidability