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

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

10 computability  turing-machines  formal-grammars 

এটি প্রমাণিত যে যুক্তিযুক্ত ওজনযুক্ত নিউরাল নেটওয়ার্কগুলিতে নিউরাল নেটগুলির সাথে ইউনিভার্সাল ট্যুরিং মেশিন টিউরিং কম্পিউটিংয়ের কম্পিউটারের শক্তি রয়েছে । আমি যা পাই তা থেকে মনে হয় সত্যিকারের মূল্যবান ওজন ব্যবহার করা আরও বেশি গণনার শক্তি লাভ করে, যদিও আমি এই সম্পর্কে নিশ্চিত নই। তবে, নিউরাল নেট এর গণনা শক্তি এবং …

10 computability  neural-networks 

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

10 computability  turing-machines  intuition 

আছে কি প্রয়োজন জন্য হতে অসীম undecidable হতে?L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* আমি কি বলতে চাচ্ছি যদি আমরা একটি ভাষা নির্বাচন করুন L′L′L' একটি হতে এর উত্তরে সসীম সংস্করণ L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* হলো, |L′|≤N|L′|≤N|L'|\leq N , ( N∈NN∈NN \in \mathbb{N} ), L′⊂LL′⊂LL' \subset L । for এরL′L′L' পক্ষে কি অনির্বচনীয় ভাষা হওয়া সম্ভব ? …

10 formal-languages  computability  undecidability 

A এবং B কে A ⊆ B এর সাথে ভাষা হতে দিন, এবং B টিউরিং-স্বীকৃত। এ টিউরিং-চেনা যায় না? যদি তাই হয়, কোন উদাহরণ আছে?

10 computability 

ঠিক আছে, সুতরাং আমার তত্ত্বের গণনা ক্লাসের একটি অতীত পরীক্ষা থেকে এখানে একটি প্রশ্ন এসেছে: একটি টিএম-এ অকেজো অবস্থা এমনটি যা কোনও ইনপুট স্ট্রিংতে কখনও প্রবেশ করে না। Let Let প্রমাণ করুন যে । অনস্বীকার্য।USELESSTM={⟨M,q⟩∣q is a useless state in M}.USELESSTM={⟨M,q⟩∣q is a useless state in M}.\mathrm{USELESS}_{\mathrm{TM}} = \{\langle M, …

10 computability  undecidability  formal-methods  turing-machines 

"গণনাযোগ্য রাজ্যের জন্য ধানের উপপাদ্য" - অর্থাত, প্রদত্ত সংক্ষিপ্ত বাস্তবের দ্বারা প্রতিনিধিত্ব করা সংখ্যার কোনও ননড্রাইভাল সম্পত্তি সিদ্ধান্ত গ্রহণযোগ্য - সত্য? এটি বাস্তবের সংযোগের সাথে কোনও প্রত্যক্ষ উপায়েই কি মিলে যায়?

10 computability  real-numbers  computable-analysis 

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

9 computability  turing-machines  undecidability  halting-problem 

রাইসের উপপাদ্যটির একটি বিবৃতি "গণনামূলক জটিলতা: একটি আধুনিক পদ্ধতি" (অরোরা-বারাক) এর পৃষ্ঠা 35 এ দেওয়া হয়েছে: থেকে একটি আংশিক ফাংশন থেকে একটি ফাংশন নয় অগত্যা তার সমস্ত ইনপুট উপর সংজ্ঞায়িত করা হয়। আমরা যে একটি টি এম একটি আংশিক ফাংশন নির্ণয় প্রত্যেক যদি যার উপর সংজ্ঞায়িত করা হয়, এবং প্রতি …

9 computability  turing-machines  undecidability  rice-theorem 

আমি নিম্নলিখিতগুলির জন্য একটি প্রমাণ নিয়ে আসার চেষ্টা করছি: কোন ভাষায় জন্য , অস্তিত্ব আছে একটি ভাষা যেমন যে কিন্তু বি ।AAABবিBA≤TBএকজন≤টিবিA \le_{\mathrm{T}} B≰TA≰টিএকজন\nleq_{\mathrm{T}} A আমি কে কথা ভাবছিলাম, তবে আমি বুঝতে পেরেছি যে সমস্ত ভাষাগুলি নয় , সুতরাং না। কি অন্যান্য পছন্দ আমি যে আমাকে একটা টি এম যার …

9 computability  reductions  undecidability 

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

9 computability  undecidability  halting-problem 

আজ মধ্যাহ্নভোজনে, আমি এই সমস্যাটি আমার সহকর্মীদের সাথে নিয়ে এসেছি, এবং আমার অবাক করে দিয়েছি যে সমস্যাটি নির্ধারিত বলে জেফ ইয়ের যুক্তি তাদের বোঝাতে পারেনি ( এখানে গণিত প্রবাহের একটি ঘনিষ্ঠ সম্পর্কিত পোস্ট রয়েছে)'s একটি সমস্যার বিবৃতি যা ব্যাখ্যা করা সহজ ("এটি পি = এনপি?") এটিও নির্ধারণযোগ্য: হয় হ্যাঁ বা …

9 computability  undecidability 

3-বর্ণ নির্ধারণযোগ্য তা প্রমাণ করার জন্য, এটি কি যথেষ্ট: গ্রাফের প্রতিটি নোডে 3 টি সম্ভাব্য রঙ রয়েছে অতএব আমরা সমস্ত সম্ভাবনার উপরে অঙ্ক করতে পারি এবং তারপরে পরীক্ষা করে দেখি যে কোনও দুটি কিনারা একই রঙের সাথে নোডকে সংযুক্ত করে না3এন3এন3^n এটি কি প্রমাণ করে যে 3-বর্ণ নির্ধারণযোগ্য? বা সঠিক …

9 computability  turing-machines  colorings 

ধরা যাক আমার এবং দুটি ফাংশন রয়েছে এবং তা নির্ধারণে আমি আগ্রহীFFFGGG F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. ধরা যাক যে আমার ফাংশনগুলি প্রাথমিক ফাংশনগুলি (বহুভিত্তিক, এক্সফোনেন্টিয়ালস, লগগুলি এবং ত্রিভুজমিত্রিক ফাংশনগুলি) দ্বারা গঠিত, তবে তা নয়, বলুন, টেলর সিরিজ। এই সমস্যাটি কি সিদ্ধান্তযুক্ত? যদি তা না হয়, তবে এটি কি আধা? (আমি …

9 computability  undecidability  mathematical-analysis  computer-algebra 

এটি এখানে অন্য একটি প্রশ্নের ফলোআপ , এবং আমি আশা করি এটি খুব দার্শনিক নয়। রাফেল যেমন আমার পূর্ববর্তী প্রশ্নের একটি মন্তব্যে ইঙ্গিত করেছিলেন, আমি সত্যিই "গণনীয়" সংজ্ঞা পাই না, তবে কয়েকটি গবেষণাপত্র অনুসারে, টেউরিংয়ের তুলনায় দুর্বল গণনার মডেলগুলির ক্ষেত্রে এটি সংজ্ঞাটি সত্যই স্পষ্ট হয় না is কারণ ইনপুট এবং …

9 computability  computation-models